OCaml
ML ailesinden pragmatik bir fonksiyonel dil; INRIA, Fransa, 1996. Çıkarımlı statik türler, cebirsel veri türleri, örüntü eşleme ve yerel koda hızlı derleme sunar.
Haskell’den farkı, yan etkilere ve değişebilir duruma disiplin dayatmadan izin vermesidir (pragmatiktir). Çoklu çekirdek desteği nihayet OCaml 5 ile geldi (2022). Sözdizimi olarak (cebirsel) efektler (2023), üretime hazır hâle gelmiş bir dil araştırmasıdır.
Jane Street’in (dünyanın en büyük özel alım satım firmalarından biri), Docker’ın (özgün gerçekleştirim OCaml’deydi), Coq kanıt yardımcısının, Tezos blokzincirinin, Facebook’un Flow/Hack tür denetleyicilerinin ve ReScript derleyicisinin arkasında OCaml var.