Comment by di4na

regarding point 3: In 2018, for an actor model on the BEAM, it is really easy to justify not being statically type. For a single simple reason.

No one knows how to do it. It is an open research problem and we are far from a solution still.