OCaml — extension of the Caml programming language