Skip to content
◈ALB Atlas

OCaml Alive

OCaml
KindProgramming language
Appeared1996
StatusAlive
CreatorXavier Leroy et al / INRIA
FamilyML
Sourceocaml.org ↗

France's industrial ML — Caml Light grown an object layer; Jane Street's house language and the proof that FP ships product.

Descended from ML
Created by Xavier Leroy
Descendants F#
Influenced Scala Rust
Predecessors ML

INRIA's OCaml (1996) — Objective Caml — added objects to Caml's ML core: fast native compilation, the module system, and industrial-grade FP.\n\nJane Street, Coq, Docker's internals, and MirageOS run on it; the multicore 5.0 release (2022) is its modern form.

Sources

  1. ocaml.org/
  2. en.wikipedia.org/wiki/OCaml