Haskell

Linguaggio puramente funzionale con tipizzazione statica forte e valutazione pigra. Privilegia funzioni prive di effetti collaterali ed è spesso usato in ricerca, finanza e per esplorare tecniche di programmazione avanzate.