OCaml

OCaml — функциональный язык со строгой типизацией. Похожий на Haskell (хотя в этом никто не признаётся), но более узконаправленный, за счет чего очень эффективно компилируется в быстрый нативный код. На нём написаны блокчейн Tezos, верификатор Coq, анализатор кода Coccinelle и многие другие нетривиальные вещи.