[kuiro5]

There's an effort currently being led by Facebook to create a gradual type system for Erlang call Gradualizer, which should also make its way over to Elixir.

https://github.com/josefs/Gradualizer

https://github.com/OvermindDL1/gradualixir

[lpgauth]

I don't think Gradualizer is led from FB. The FB static type system hasn't been opened up yet AKAIK.

[dnautics]

They were supposed to in November but wiffed.