INTRODUZIONE ALLA PROGRAMMAZIONE FUNZIONALE
Informations
- Responsabile didattico: Luca Abeni
- Semestre: 2° semestre
- Data inizio: 1 marzo 2024
- CFU: 2
- Durata (ore): 20
- Corso: Ingegneria
Details
Contenuti
Il corso presentera' una breve ma esaustiva introduzione alla programmazione funzionale, assumendo conoscenze di base di programmazione imperativa.
Dopo aver presentato la programmazione funzionale come un paradigma di programmazione applicabile usando diversi tipi di linguaggi, verra' mostrato come alcuni specifici linguaggi di programmazione supportano meglio di altri le tecniche di programmazione funzionale. In questa ottica verranno presentati alcuni esempi in Standard ML, Haskell o Scheme. Per finire potranno essere discussi alcuni fondamenti teorici importanti come il lambda-calcolo, la teoria dei tipi e la teoria delle categorie.
Fare riferimento al sito del corso per maggiori informazioni:
http://retis.santannapisa.it/luca/ProgrammazioneFunzionale/
Obiettivi formativi
Il corso mira a fornire agli studenti gli strumenti e le conoscenze di base necessari per comprendere programmi sviluppati usando il paradigma di programmazione funzionale ed a sviluppare programmi usando tale paradigma.
Prerequisiti
Per poter seguire con profitto il corso gli studenti devono conoscere le basi della programmazione (con riferimento alla programmazione imperativa). Una conoscenza minima di C o C++ e' raccomandata.
Modalità di verifica dell'apprendimento
Progetto con discussione
Testi di riferimento
Materiale fornito dal docente: http://retis.santannapisa.it/luca/Funzionale