News for hackers. Stuff that matters.

A comment on Gleam 0.14 – Type-safe language for the Erlang VM. Parent comment

Re:Gleam 0.14 – Type-safe language for the Erlang VM by kuiro5 on Thursday February 18, 2021 @07:25PM (#26187815)
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

[ Parent | on HN ]
Re:Gleam 0.14 – Type-safe language for the Erlang VM by lpgauth on Thursday February 18, 2021 @09:50PM (#26189005)
I don't think Gradualizer is led from FB. The FB static type system hasn't been opened up yet AKAIK.
[ Parent | on HN ]
Re:Gleam 0.14 – Type-safe language for the Erlang VM by dnautics on Friday February 19, 2021 @01:15AM (#26190296)
They were supposed to in November but wiffed.
[ Parent | on HN ]