OCaml is a general-purpose, high-level, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jerome Vouillon, Damien Doligez and Didier Remy at INRIA in France. The OCaml toolchain includes an interactive top-level interpreter, a bytecode compiler, and a native code compiler, and it combines functional, imperative and object-oriented programming under a strong static type system with type inference.
Facts
First Released ParadigmMulti paradigm: functional, imperative, object oriented, modular 1 SignificanceExtended the Caml dialect of ML with object orientation, and its ideas were later adopted by F# and Scala. 1 Connections
Base Language For
Direction correction: F# grew out of an OCaml port for .NET, not the reverse.
Direction correction: ReasonML is a syntax and toolchain over OCaml, not the reverse.
Influenced
Influenced By
OCaml infobox: "Influenced by: C, Caml, Modula-3, Pascal, Standard ML." en.wikipedia.org/wiki/OCaml
OCaml infobox: "Influenced by: C, Caml, Modula-3, Pascal, Standard ML." en.wikipedia.org/wiki/OCaml
Sources
1. Wikipedia: OCaml
Wikimedia FoundationInfobox: First appeared
1996; 30 years ago (1996)
Infobox: Paradigm
Multi-paradigm: functional, imperative, modular, object-oriented
Article body, influence discussion
In the early 2000s, elements from OCaml were adopted by many languages, notably F# and Scala.
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.