| Abstract |
Haskell è un linguaggio funzionale puro ad alto livello per lo sviluppo di programmi general purpose ispirato al lambda calcolo, con supporto per le funzioni higher-order e la valutazione lazy.
Staticamente tipato e compilato, supporta tipi polimorfici e il meccanismo delle typeclasses come sistema di astrazione.
Il tutorial è diviso in due parti distinte:
* descrizione del linguaggio, accompagnata da alcuni esempi, in cui verranno affrontati i principali aspetti del linguaggio (tipi, funzioni, typeclasses e moduli)
* introduzione alla classe delle monadi, passando dalla monade dell'IO in cui sarà spiegato come Haskell gestisce la separazione tra funzioni pure e non.
|