Benefits of OCaml

Separate compilation

Unlike high-performance compilers for other functional programming languages, such as Stalin and MLton, the OCaml compilers allow incremental compilation. Specifically, when a single compilation unit is edited in a program with multiple compilation units then a recompile only requires that the altered compilation unit be recompiled and the resulting executable relinked.

Separate compilation accelerates development.

Compile commands

Byte code

The OCaml byte-code compiler ocamlc may be invoked as:

$ ocamlc program.ml -o program

Native code

The OCaml native-code compiler ocamlopt may be invoked as:

$ ocamlopt program.ml -o program