This is an old revision of the document!
Programmazione Funzionale
Le lezioni sono erogate in presenza e via WebEx.
Controllare nelle slides messe a disposizione della cartella Google condivisa la data di edizione (prima pagina). Le slides vengono aggiornate per correggere errori, aggiungere esempi, migliorarne i contenuti.
Informazioni Generali
Docente:
Orario delle Lezioni:
- Aula Team Lab, polo Carla Lodovici
- martedì dalle ore 9 alle ore 11
- giovedì dalle ore 9 alle ore 11
Ricevimento studenti:
- Previo invio richiesta con posta elettronica
Modalità d'esame:
- svolgimento di un progetto assegnato verso metà dello svolgimento del corso
- discussione orale del progetto e dei contenuti svolti durante il corso
Obiettivi del Corso
- Conoscere i concetti fondamentali del paradigma funzionale
- Imparare i costrutti principali dei linguaggi di programmazione funzionali
- Essere capaci di realizzare programmi applicando il modello di programmazione funzionale
- Essere capaci di utilizzare gli strumenti per la programmazione funzionale
Contenuti del Corso
- Storia del modello di calcolo funzionale
- Lambda calcolo
- Il linguaggio LISP
- Il linguaggio LUA
- Funtori, applicazioni e monadi
- Coroutine
- Promise
- Programmazione ricorsiva
- Algoritmi e strutture dati per la programmazione ricorsiva
- Cenni di Haskell, classe di tipi e monadi
Materiale
Slide del Corso e altro materiale didattico su
- L'accesso è consentito con le credenziali di posta elettronica istituzionale
- Consiglio l'uso di ZeroBraneStudio https://studio.zerobrane.com come ambiente di sviluppo per la presenza di una valida modalità di esecuzione in debug. Tuttavia qualsiasi altro strumento è accettato.
Videoregistrazioni
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210302 0807-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=552ee91f46744c84866eef9099578f7f
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210304 0804-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=1b4c2333b1ee458ab5cc52a6861c047d
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210309 0806-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=593b2b5d9a924c21b65611336f3c649d
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210311 0817-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=079ec59e9578492e94d21f72e84f73c7
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210316 1008-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=75ab89be854b433681d96bab173aa231
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210318 0805-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=210817b82f9d44fba4a5cd175dc27511
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210323 0806-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=88ed42b3c8a54bdbad59a1f29668d102
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210325 0804-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=c8af1903e71648a3bf75c5cf11e0570b
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210330 0702-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=b0ba37373fa745139ca101e8ac87821d
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210408 0713-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=e3d9a00502d942a1882207d31ca8ba7f
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210413 0706-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=24a3868102f845f9bdd72c8f88b52e23
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210415 0711-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=9ce26a472f28488f98142951f6216ab3
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210420 1603-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=19d33f8d13744074822a2b5eaef5d4a6
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210422 0706-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=b14b302e1d8148f1ae56e4752caa8d42
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210427 0704-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=4d70f8dd3f1949b2857cf5238b085180
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210429 0705-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=8bc661424b654eb8aacbe88711f1d426
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210504 0710-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=1b89f2a6afe442a8a773ce848317a311
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210506 0707-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=b71a3a51c3c146d6b4ef8c981d65df11
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210511 0705-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=16001e66e2f04108bc3f056704fd8b44
Registrazione riunione Webex: Sala riunioni personale di Rosario Culmone-20210513 0709-1 Collegamento registrazione: https://unicam.webex.com/unicam/ldr.php?RCID=2a30d0cd6f334491bbf9721a424a890a