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

Perhaps static typing on the BEAM backed by a huge company is the missing link for wider adoption… I’m hopeful, we’ll see.

On another note, @rvirding has mentioned multiple times that dynamic typing was the solution to hot code upgrades, so I’m wondering if that property of erlang will be preserved- and also what other trade-offs had to be made (if any).