ObjectiveCaml is an ML variant programming language by Xavier Leroy’s Projet Cristal at INRIA in France. It is a very strongly-typed functional language which also provides imperative features. It has a top-level interpreter loop, so you can run OCaml scripts. It compiles into bytecode like EmacsLisp and Java. On many platforms, it can also compile into machine code. Benchmarks place compiled OCaml code at about the same speed as equivalent C code, and in some situations it runs faster.