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.

Testo del progetto

Docente:

• Rosario Culmone

Link ESSE3 * https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2020*N0*N0*S2*15086*9996&ANNO_ACCADEMICO=2020&mostra_percorsi=S

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

• 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

• 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

Slide del Corso e altro materiale didattico su

• Google Drive
• 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.

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