OCaml

Homepage: http://caml.inria.fr/

A practical ML.

Available for Mac OS X, Linux, and Windows 7.

A pre-alpha fork is available for [http://iOS iOS].

js_of_ocaml compiles OCaml to JavaScript.