is a lightweight and portable implementation of the Caml
programming language, a dialect of the ML programming language
It is implemented in C
and compiles programs to bytecode
Caml Light is not actively developed, having been replaced by much more "heavyweight" Objective Caml.
Caml Light's flavour of ML is quite close to Standard ML, the only major difference being the module system.
The differences became much more pronounced after Caml Light evolved to Objective Caml.