> Something went wrong. Try reloading.

Not 100% sure, but this might be related: https://elixir-lang.org/blog/2023/06/22/type-system-updates-...

Time to stop making announcements on Twitter. The full text:

I hereby officially announce the Elixir type system effort is transitioning from research into development: https://elixir-lang.org/blog/2023/06/22/type-system-updates-...

A huge thank you to Fresha and Starfish for sponsoring this new stage. They are also hiring:

* https://fresha.com/careers/openings?department=engineering

* https://starfish.team/jobs

What does Starfish do? Their website makes vague references to "decentralized organizations", "focus on payments and banking". I cannot tell if this means it's all cryptocurrencies or what their work actually accomplishes.

Scrolling through their blog, I think something's getting lost in translation; their idea of a "decentralized organization" sounds more like a flat hierarchy in the style of Valve, but you've got to try to parse this tortured "starfish vs spider" metaphor to get there. https://starfish.team/blog/adaptive-vs-reactive-strategies-w...

Likewise, I clicked "portfolio" expecting some samples of their work and instead got another unintelligible sales pitch and a mailto: link. Their corporate culture sounds nice, I like their healthy attitudes toward remote work, but maybe they should get some native english speakers to edit their copy?

Twitter is unusable as of now for me as well... can't load the tweet.

Me neither, I believe it only shows tweets to registered user since a few days ago.

Let me guess, the announcement is also on twitter?

Jose Valim is so prolific, and I love his work.

Thank you Jose!

Excellent. I've been meaning to explore into elixir but the lack of types has made me drag my feet.

I look forward to typed-Elixir! Some interesting projects targeting the Erlang VM are Gleam [0] and caramel (ML-like, but unfortunately no longer active) [1].

[0] https://github.com/gleam-lang/gleam

[1] https://github.com/AbstractMachinesLab/caramel

Im so thrilled to see this come into Elixir!

Ive recently transitioned away from writing Elixir full time (nearly 7 years) to a role that uses a array of strongly typed languages.

While I still love the ErlangVM and Elixir, the benefits of typing are hard to understate.

So happy to see that I may get to have my cake and eat it to some day.

I would just be happy to never see Dialyzer output again in my life.

Will the syntax look like I wonder. This is for being able to specify types correct?