OCaml
Linguaggio funzionale pragmatico della famiglia ML, nato all'INRIA in Francia nel 1996. Tipizzazione statica con inferenza, tipi di dati algebrici, pattern matching, compilazione veloce in codice nativo.
Si distingue da Haskell perché ammette effetti collaterali e stato mutabile senza imporre disciplina (è pragmatico). Il supporto multicore è arrivato finalmente con OCaml 5 (2022). Gli effetti algebrici come sintassi (2023) sono ricerca sui linguaggi diventata pronta per la produzione.
Alimenta Jane Street (una delle maggiori società di trading proprietario al mondo), Docker (l'implementazione originale era in OCaml), l'assistente di dimostrazione Coq, la blockchain Tezos, i type checker Flow e Hack di Facebook, il compilatore ReScript.