OCaml

Linguaggio funzionale con tipizzazione statica forte e inferenza dei tipi, che supporta anche stili imperativo e a oggetti. È apprezzato in ambiti dove correttezza ed espressività sono cruciali.