Objective Caml (OCaml)
OCaml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. OCaml supports functional, imperative, and object-oriented programming styles. It has been developed and distributed by [http://www.inria.fr INRIA], France's national research institute for computer science, since 1985.