Linguaggi Funzionali
Michele Bugliesi
Studieremo la specifica, il progetto, e l'implementazione di linguaggi
di programmazione "strongly typed" (fortemente tipati), ovvero di quei
linguaggi il cui sistema di tipi assicura che programmi corretti dal
punto di vista dei tipi non causano errori a tempo di
esecuzione. Studieremo le nozioni ed i concetti principali dei
linguaggi di programmazione moderni: struttura dei tipi, scoping,
ricorsione, funzioni di ordine superiore ed oggetti, e studieremo come
questi concetti si possono integrare in linguaggi con sistemi di tipi
che soddisfano i requisiti di "strong typedness" descritti in precedenza.