Avvisi

Avviso: Eventuali studenti che non avessero seguito il corso, ma intendono sostenere l'esame, sono pregati di contattare il docente.

Descrizione del Corso

Il corso mira a introdurre il paradigma di programmazione funzionale, attraverso lo studio del linguaggio Haskell.
Viene inoltre fatto un confronto con il paradigma imperativo e quello funzionale.
Vengono infine introdotti metodi per ragionare sulla correttezza dei programmi in entrambi i paradigmi.

Programma del Corso

1. Programmazione Funzionale.

Concetti base di Haskell: tipi, funzioni, definizioni ricorsive.
Polimorfismo, classi, tipi definiti dall'utente, funzioni di ordine superiore.
Call-by-name e valutazione lazy. Tipi di dato infiniti.
Trattamento di aspetti non-funzionali (IO, eccezioni, stato, etc.) in Haskell: Funtori, Applicativi e Monadi.
Sviluppo di programmi corretti e trasformazioni di programmi: ragionamento equazionale.

2. Programmazione Imperativa.

Ripasso di programmazione base in C.
Gestione esplicita della memoria in C, alias, side-effects.
Confronti e contaminazioni I: programmazione funzionale in C.
Confronti e contaminazioni II: programmazione imperativa in Haskell.
Sviluppo di programmi corretti in C: asserzioni logiche. Limiti di questa metodologia nella programmazione imperativa.

3. Perle di Programmazione Funzionale e Imperativa.

Ogni anno verranno selezionate 4-6 perle di programmazione imperativa.
e 4-6 perle di programmazione funzionale.

Materiali Didattici

Orario delle Lezioni 2020/21 - II semestre

lunedì	14-16	aula G0 (Regina Elena, ed. G)	https://meet.google.com/tta-hjmb-ahh
giovedì	16-19	aula G0 (Regina Elena, ed. G)	https://meet.google.com/tta-hjmb-ahh