From Compsci.ca Wiki
What is O'Caml?
O'Caml (or Objective-Caml) is a programming language which permits numerous styles of programming. Notably these include statically-typed functional programming with type inference and object-orientation with multiple inheritance.
Areas of divergence
- O'Caml uses the semi-colon not to terminate statements, but rather to separate expressions, and their use in O'Caml where unnecessary leads to errors.
- O'Caml does not support operator overloading. A common source of initial confusion is that integer operations use +, -, * and / while floating point operations use +., -., *. and /.
Official site: http://caml.inria.fr