AM012 – Why Typing Erlang is Hard: Standard 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!