Objective Caml is an object-oriented language based on the functional programming language ML. It combines the benefits of ML's style of functional programming with those of classes, objects, and inheritance. Also known as OCaml, the language features these - Functional programming is encouraged, but not required - Execution safety is guaranteed through the formal type system and exceptions for out-of-bound conditions - Compiler type inference supplies most program type information...