[rlander]

> My dream is still a statically-typed version of Erlang.

Your (our) dream is about to come true: https://github.com/j14159/mlfe