© 2011 OCamlPro SAS, All rights reserved.
Contact an administrator.
From too long a time, OCaml has been developed by academics for academics. To answer to industrial user needs, OCamlPro has been founded in April 2011, as an INRIA spin-off. OCamlPro goals are to boost the development of OCaml and to promote it as the language of choice for software development in the Industry.
OCamlPro designs many new features to improve OCaml, develops the TypeRex development studio for OCaml and provides technical support and maintenance for both OCaml and TypeRex through subscriptions.
OCamlPro uses and produces open-source softwares. You can browse our free softwares on github.
The Caml family of languages has been developed for nearly thirty years at INRIA. Thus, OCaml was built upon an already long experience of designing highly-expressive, functional and statically typed programming languages. In 1983, old Caml already featured an ML dialect with full type inference (types are not provided by the programmer, but guessed and statically checked by the compiler) and pattern matching (complex values can easily be deconstructed). In 1993, caml-light replaced old Caml, featuring a completely new runtime, an efficient bytecode interpreter, and a compact memory representation targetting an highly tuned garbage collector. In 1996, OCaml was a major evolution of caml-light, providing an improved syntax, a powerful module system, an object-oriented language extension, and a modern native code generator.
Compared to other languages, OCaml code is as concise as Python code (thanks to full type inference), but runs as fast as C code (thanks to its native code compiler), and more reliably than Java code (thanks to its powerful statically enforced type-system). It is the direct inspiration behind F#, and probably behind Scala too.