Linguaggi e Paradigmi di Programmazione

«Haskell is the least-broken programming language available today»
Havoc Pennington, sviluppatore GNOME/GTK+

«Haskell is the only programming language where the last thing you learn is how to print Hello, World»
Giuseppe Castagna, Direttore di Ricerca CNRS, Université Paris 7

I linguaggi funzionali sono dotati di efficaci metodi di astrazione e di un semplice modello matematico che facilitano la strutturazione e la verifica formale di correttezza dei programmi. L'obiettivo del corso è quello di insegnare i principi fondamentali della programmazione funzionale e di confrontarli con quelli degli altri paradigmi di programmazione. Il linguaggio di riferimento adottato è il linguaggio funzionale puro Haskell.

Docenti

Bibliografia

Testo di riferimento

Altri testi

Risorse per il corso

Siti di riferimento

Risorse supplementari

Introduzioni a Haskell

Paradigma funzionale/applicativo

Monadi

Concorrenza e parallelismo in Haskell