OCaml
Прагматичный функциональный язык семейства ML от французского INRIA, 1996 год: статическая типизация с выводом типов, алгебраические типы данных, сопоставление с образцом и быстрая компиляция в машинный код.
От Haskell отличается тем, что допускает побочные эффекты и изменяемое состояние без строгой дисциплины — язык прагматичен. Поддержка многоядерности появилась только в OCaml 5 (2022). Алгебраические эффекты как часть синтаксиса (2023) — редкий случай, когда академическое исследование языков дошло до продакшена.
На OCaml работают Jane Street (одна из крупнейших в мире проп-торговых фирм), Docker (первая реализация была на OCaml), система доказательств Coq, блокчейн Tezos, проверяющие типы Flow и Hack у Facebook и компилятор ReScript.