Facebook is writing a new, statically typed language to run on the BEAM?!

Hello everyone! A quick update on this.

I gave a talk at Code BEAM V last Thursday in which I explained motivation for our work on static typing for Erlang, and shared some very high-level details.

Please see slides from my presentation: https://codesync.global/uploads/media/activity_slides/0001/03/f2292f201aa6b04db8c4e0b9cfa191dd07c9ee14.pdf

I expect the video of the talk to be published soon. I’ll share a youtube link once it’s out.

We’ll be sharing more details about our work on static typing for Erlang during the Code Mesh conference in November. My colleague @ilya-klyuchnikov is giving a talk on this. Here’s an early announcement: https://twitter.com/CodeMeshIO/status/1301159305480155139

We are also planning to open-source an early prototype around that time. Stay tuned!

23 Likes