OCaml
Pragmatyczny język funkcyjny z rodziny ML — INRIA, Francja, 1996. Typowanie statyczne z inferencją, algebraiczne typy danych, dopasowanie wzorców, szybka kompilacja do kodu natywnego.
Od Haskella różni się tym, że dopuszcza efekty uboczne i stan mutowalny bez żadnej dyscypliny (jest pragmatyczny). Obsługa wielu rdzeni pojawiła się wreszcie w OCaml 5 (2022). Efekty algebraiczne jako składnia (2023) to badania językowe, które dojrzały do produkcji.
Napędza Jane Street (jedną z największych firm tradingu własnego na świecie), Dockera (pierwotna implementacja była w OCamlu), asystenta dowodzenia Coq, blockchain Tezos, typecheckery Flow i Hack z Facebooka oraz kompilator ReScript.