Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme

Switch Atlas

Programming Language

OCaml

Multi-Paradigm Language

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
1996 1
Paradigm
Multi paradigm: functional, imperative, object oriented, modular 2
Significance
Extended the Caml dialect of ML with object orientation, and its ideas were later adopted by F# and Scala. 2
Classification
Typing Discipline
Statically Typed 1
Typing Discipline
Strongly Typed 1
License
GNU LGPL v2.1 1
OCaml
Filter Results2 entries

Haxe

OCaml

Nemerle

OCaml
Connections

Base Language For

F#, Programming Languages

Direction correction: F# grew out of an OCaml port for .NET, not the reverse.

ReasonML, Programming Languages

Direction correction: ReasonML is a syntax and toolchain over OCaml, not the reverse.

Influenced

Gleam (programming language), Programming Languages
Source Wikidata: Gleam
Haxe, Programming Languages
Source Wikidata: Haxe
Nemerle, Programming Languages

Influenced By

Modula-3, Programming Languages

OCaml infobox: "Influenced by: C, Caml, Modula-3, Pascal, Standard ML." en.wikipedia.org/wiki/OCaml

Standard ML, Programming Languages

OCaml infobox: "Influenced by: C, Caml, Modula-3, Pascal, Standard ML." en.wikipedia.org/wiki/OCaml

Source Wikidata: OCaml

Invented By

Xavier Leroy, Pioneers
Source Wikidata: OCaml
Sources
1. Wikidata: OCaml
  • Wikidata Q212587, class allow-list match (w-wdresolver-0926)
  • Wikidata Q212587 P571 (inception)
  • Wikidata Q212587 P275 (license)
  • Wikidata Q212587 P7078 (typing discipline)
View the Source
2. Wikipedia: OCaml
Wikimedia Foundation
  • Infobox: 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.
  • In Group: ML-Descended Multi-Paradigm Languages, lead states OCaml is a multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features
View the Source
Wikidata: Gleam
Influenced: Gleam (programming language)View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.