OCaml

OCaml is an open source functional programming language, and the most popular member of the ML language family.