[suprfnk]

I thought so too, but Jose Valim says "never before seen on Elixir or the BEAM", while Gleam exists and Jose undoubtedly knows about that project:

https://gleam.run/

[throwawaymaths]

Also meta has a static typing system for Erlang. Also, dialyzer exists. So if it's "never" he means set theoreic types, but there are incomplete set theoretic type libraries for elixir

[fud101]

By meta do you Facebook? If so just say that, it's confusing otherwise.