4 ms·

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

by kuiro5 6y ago

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/josefs/Gradualizer https://github.com/OvermindDL1/gradualixir https://github.com/OvermindDL1/gradualixir

lpgauth 6y ago
I don't think Gradualizer is led from FB. The FB static type system hasn't been opened up yet AKAIK.
- dnautics 6y ago
  They were supposed to in November but wiffed.