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.