[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.

[throwawaymaths]

I had actually started typing Facebook, then remembered that it was Whatsapp, which post name change is technically not Facebook but actually meta, so I submitted as meta for correctness

[true_religion]

Meta is also WhatsApp, which is what I know was part of the erlang community.