OCaml
Linguagem funcional pragmática da família ML — INRIA, França, 1996. Tipagem estática com inferência, tipos algébricos de dados, pattern matching e compilação rápida para código nativo.
Difere do Haskell: permite efeitos colaterais e estado mutável sem cerimônia (é pragmática). O suporte a multicore só chegou no OCaml 5 (2022). Efeitos algébricos como sintaxe (2023) são pesquisa de linguagens que ficou pronta para produção.
Move a Jane Street (uma das maiores firmas de trading proprietário do mundo), o Docker (a implementação original era em OCaml), o assistente de provas Coq, a blockchain Tezos, os verificadores de tipos Flow/Hack do Facebook e o compilador do ReScript.