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.

Testo del progetto


Docente:

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

  • 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