[styfle]

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

So something like Haskell?

http://learnyouahaskell.com/introduction#so-whats-haskell