Linguaggi funzionali (2008/2009)

Corso a esaurimento

Codice insegnamento
4S00063
Crediti
5
Coordinatore
Ugo Solitro
L'insegnamento è organizzato come segue:
Modulo Crediti Settore disciplinare Periodo Docenti
Teoria 4 INF/01-INFORMATICA 1° Q Ugo Solitro
Laboratorio 1 INF/01-INFORMATICA 1° Q Ugo Solitro

Obiettivi formativi

Modulo: Teoria
-------
L'insegnamento tratta i principi teorici e la pratica della programmazione funzionale.


Modulo: Laboratorio
-------
L'insegnamento tratta i principi teorici e la pratica della programmazione funzionale.

Programma

Modulo: Teoria
-------
Fondamenti della programmazione funzionale.
Il lambda calcolo puro; tipi e rappresentazione dei dati in lambda calcolo; sistemi di inferenza di tipo.
Introduzione alla semantica.

Un linguaggio di programmazione funzionale.
Principi generali. Ricorsione. Strutture dati e algoritmi.


Modulo: Laboratorio
-------
Apprendimento del linguaggio di programmazione e sviluppo di progetti.

Modalità d'esame

Modulo: Teoria
-------
L'esame finale consiste in un colloquio orale sugli argomenti presentati nel corso e i progetti sviluppati in laboratorio; l'esame è preceduto da una prova scritta di ammissione.


Modulo: Laboratorio
-------
L'esame finale consiste in un colloquio orale sugli argomenti presentati nel corso e i progetti sviluppati in laboratorio; l'esame è preceduto da una prova scritta di ammissione.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Jean Louis Krivine, Rene Cori Lambda-calculus, Types and Models Ellis Horwood 1993 978-0130624079 Testo di consultazione per il lambda-calcolo e i tipi
Chris Okasaki Purely Functional Data Structures (Edizione 1) Cambridge University Press 1998 0-521-6635 Testo di consultazione sul trattamento funzionale delle strutture dati
Guy Cousineau, Michel Mauny The functional approach to programming (Edizione 1) Cambridge University Press 1998 0-521-5768 Testo di conslutazione per il lambda-calcolo e i tipi