Con il corso di Programmazione Funzionale si intendono
studiare i principi della programmazione funzionale in generale con
l'ausilio di uno specifico linguaggio.
Attività formative
Il corso prevede una parte comune che consiste di 40 ore di lezione
in aulae 15 ore di lezione in laboratorio.
Programma del corso
Introduzione generale alla programmazione
funzionale.
Il linguaggio di programmazione ML.
Costrutti fondamentali della programmazione funzionale; i tipi
di dati nel linguaggio ML.Aspetti imperativi del linguaggio ML.
La costruzione di un interprete di funzionale.
Fondamenti di linguaggi funzionali.
Lambda-calcolo puro e con tipi.Sistemi di derivazione di
tipi.Cenni alla semantica dei linguaggi funzionali.