OCaml is a general-purpose programming language in the ML family, developed at the French research institute INRIA, where Xavier Leroy and colleagues had worked on the earlier Caml languages. The name originally stood for Objective Caml, because the language extended Caml with object-oriented features, while keeping the strengths of the ML family, such as strong static typing, type inference and pattern matching. OCaml also provides functional, imperative and modular programming styles, and compiles to fast native code. It has been used for compilers, formal verification tools such as the Coq proof assistant, financial trading systems at firms like Jane Street, and the first versions of the Rust compiler.
Before and after
- 4 December 1995Creation of JavaScript
- 1996Discovery of copernicium
- 1996Creation of Visual Basic Script
- 1996Founding of Union State
- 1996Creation of OCaml
- 1996Creation of Active Server Pages
- 1996Creation of Windows Embedded Compact
- 1996Origins of Super Rugby
- 8 January 1996Death of François Mitterrand
More in Science & technology
- 25 April 1953Watson and Crick publish the structure of DNA
- 14 February 1961Discovery of lawrencium
- 1973Mobile phone
- 20 November 1985Creation of Microsoft Windows
- August 2003Discovery of moscovium
- 2006Discovery of nihonium
The era
This moment belongs to the Contemporary world (1945 CE to today), the world since 1945. You can also browse everything in the 20th century.