Erlang

Homepage: http://www.erlang.org/

An ML famous for robust, self-healing, scalable applications powered by its "green threads" actors model.

Erlang is available for Mac OS X, Linux, and Windows 7.

Erlang is available in Java via Erjang.