OCaml, also known as 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.
Note: OCaml should not be confused with the camel books by O'Reily for the Perl programming language.
Hello, World! in OCaml
print_endline "Hello World!"