Hello all! A lot of people have been asking us about this lately - thank you for all your interest! It is a good time to give an update on this.
We were planning to release an early prototype in November, but unfortunately things are taking longer. Typing Erlang is a hard problem! We are actively working on it, but at this point we are not ready to commit to any timeline for open-sourcing it. We’ll keep the community posted as we make progress on this.
To share a bit more details. We made good progress on prototyping, and now approaching solving the most difficult problem - figuring out an efficient path for adopting static typing for existing Erlang code. Solving this problem may influence the design. In the end, we decided that we need to get a good grasp on the technical direction before open-sourcing and sharing technical details.
