erlang

I heard before that Erlang and the BEAM did not pack a static type system because their creators “couldn’t build it”. That is nonsense. Let's figure out what it would take to type Erlang, and why it seems so hard!