Also, Haskell has both useful and safe STM, and a runtime with built in concurrency and parallelism. (Mentioning Erlang and Haskell because I've shipped solid

Also, Haskell has both useful and safe STM, and a runtime with built in concurrency and parallelism. (Mentioning Erlang and Haskell because I've shipped solid production systems using both of those, and they work well!)