OCaml
Lenguaje funcional pragmático de la familia ML — INRIA, Francia, 1996. Tipos estáticos con inferencia, tipos de datos algebraicos, coincidencia de patrones y compilación rápida a código nativo.
Se distingue de Haskell: permite efectos secundarios y estado mutable sin disciplina (es pragmático). El soporte multinúcleo llegó por fin en OCaml 5 (2022). Los efectos (algebraic effects) como sintaxis (2023) son investigación de lenguajes que se volvió lista para producción.
Mueve Jane Street (una de las mayores firmas de trading propietario del mundo), Docker (la implementación original estaba en OCaml), el asistente de pruebas Coq, la blockchain Tezos, los verificadores de tipos Flow/Hack de Facebook y el compilador de ReScript.