OCaml, also known as Objective Caml (Object-oriented Categorical Abstract Machine Language), is an object-oriented version of the Caml programming language. Since its introduction in 1996, Ocaml has become the main implementation of Caml. It utilizes an interactive interpreter, but includes a compiler for creating binary executables. It has influenced other widely-used programming languages, including F# and Scala.
OCaml should not be confused with the camel books by O'Reilly for the Perl programming language.
"Hello World!" in OCaml
print_endline "Hello World!"