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

• Prof. Felice Cardone
• Dott. Luca Padovani

Bibliografia

Testo di riferimento

• Simon Thompson, "Haskell: the Craft of Functional Programming" (terza edizione), Addison-Wesley, 2011.

Altri testi

• Richard Bird, "Introduction to Functional Programming using Haskell" (seconda edizione), Prentice Hall, 1998.
• Graham Hutton, "Programming in Haskell", Cambridge University Press, 2007.
• Bryan O'Sullivan, Don Stewart, and John Goerzen, "Real World Haskell", O'Reilly, 2007.

Risorse per il corso

Siti di riferimento

• Pagina del corso Linguaggi e Paradigmi di Programmazione
• www.haskell.org
• Documentazione delle librerie incluse nella Haskell Platform
• Hoogle, motore di ricerca per la libreria di Haskell
• Haskell Platform, pacchetti all-in-one per Mac OS X, Linux, Windows
• Glasgow Haskell Compiler, il compilatore di riferimento usato per il corso (incluso nella Haskell Platform)

Risorse supplementari

Introduzioni a Haskell

• Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler, "A History of Haskell: Being Lazy With Class", 2007.
• Simon Peyton Jones, "A Taste of Haskell", seminario introduttivo su Haskell di circa 3 ore, 2007 (video parte I, parte II, slide).

Paradigma funzionale/applicativo

• John Hughes, "Why Functional Programming Matters", 2002.
• John Backus, "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs", 1978 (discorso di John Backus in occasione del premio Turing).

Monadi

• Philip Wadler, "The essence of functional programming", 1992.
• Simon Peyton Jones, "Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell", 2001 (seminario alla scuola estiva di Marktoberdorf nel 2000).

Concorrenza e parallelismo in Haskell

• Simon Marlow, "Parallel and Concurrent Programming in Haskell", 2011 (tutorial).
• Simon Peyton Jones, "Managing parallelism", 2011. Seminario sulle caratteristiche che rendono Haskell uno strumento ideale per scrivere programmi concorrenti e paralleli e trarre vantaggio dalle archietture multi-core (slide).