[bradrn]

> This aside, I want typed elixir.

It’s happening: https://elixir-lang.org/blog/2023/06/22/type-system-updates-...

[Dowwie]

They're taking baby steps with the roll-out. It's not going mainstream any time soon.