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.
Official website : http://caml.inria.ft/
Mailing list for OCaml Debian Maintenance: http://lists.debian.org/debian-ocaml-maint/