The OCaml system is the main implementation of the Caml language. It has an advanced type system, offers a powerful module system, automatic memory management, and adds full-fledged object-oriented layer. OCaml includes a native-code compiler supporting numerous architectures, for high performance; a bytecode compiler, for increased portability; and an interactive loop, for experimentation and rapid development. OCaml's integrated object system allows object-oriented programming without sacrificing the benefits of functional programming, parametric polymorphism, and type inference. The language is mature, producing efficient code and comes with a large set of general purpose as well as domain-specific libraries.
<A HREF="http://www.linuxlinks.com/article/20150815094952608/9oftheBestFreeOCamlBooks-Part1.html">Read on</A>