The process of bringing types to Elixir is officially underway: https://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/ https://elixir-lang.o

The process of bringing types to Elixir is officially underway: https://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/ https://elixir-lang.org/blog/2023/06/22/type-system-updates-... It's not Erlang specifically, but it is a BEAM language, so tomato tomahto.