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!