ocaml: 
ocaml: Objective Caml is an implementation of the ML language