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

[kokolegorille]

You might be refering to this post.

How hard would it be to have a static typing system in Elixir?

I just want to confirm what has already been mentioned a number of times in this thread: the reason for not having static typing in Erlang was the absolute need for doing dynamic code upgrades of running systems. This was an absolute requirement and if we couldn’t do it then our language/system wasn’t interesting. There aren’t many systems using it today as most try to do rolling upgrades but we didn’t have that option back then so we had to be able to upgrade a running system. Remember we are t…