Linguaggi di Programmazione - Modulo 2

Avvisi:

Modalita' di Verbalizzazione: essendo il corso di "Linguaggi di Programmazione" un unico corso diviso in due moduli, la registrazione del voto finale dell'esame e' un po' macchinosa... Qui trovate le istruzioni del caso.

Libro di Testo:

Maurizio Gabbrielli e Simone Martini, "Linguaggi di Programmazione - Principi e Paradigmi", McGraw-Hill Education.

Lezioni:

23/02/2017: Introduzione al corso; Macchine Astratte (Capitolo 1 del libro di testo)
24/02/2017: Nomi ed Ambiente (Capitolo 6 del libro di testo)
02/03/2017: Gestione della Memoria (capitolo 7 del libro di testo), fino ad implementazione delle regole di scope dinamico)
03/03/2017: Esercitazione su primi esempi di programmazione funzionale
09/03/2017: Implementazione regole di scope (fine capitolo 7 del libro di testo), espressioni e comandi (inizio capitolo 8 del libro di testo)
10/03/2017: Esercitazione su funzioni pure ed introduzione ad ML
16/03/2017: Comandi di gestione del flusso (fine capitolo 8 del libro di testo), astrazione sul controllo, funzioni e passaggio di parametri (inizio capitolo 9 del libro di testo)
17/03/2017: Esercitazione su funzioni in ML e ricorsione in coda
23/03/2017: Passaggio parametri per nome, funzioni di ordine superiore ed eccezioni (fine capitolo 9 del libro di testo); introduzione ai tipi di dato
24/03/2017: Esercitazione: Funzioni & Spezie
30/03/2017: Sistemi di tipi; tipi scalari e composti; equivalenza e compatibilita' fra tipi (Capitolo 10 del libro di testo fino a 10.5)
31/03/2017: Esercitazione: ambiente locale in Standard ML
06/04/2017: Compatibilita' fra tipi, polimorfismo, dangling references e garbage collection (fine Capitolo 10 del libro di testo); introduzione ai tipi di dati astratti (capitolo 11 del libro di testo fino a 11.1)
- Semplici esempi di polimorfismo parametrico (esplicito) in C++: swap e massimo fra due numeri
- Semplice esempio di polimorfismo parametrico (esplicito) in Java
- Semplici esempi di polimorfismo parametrico (implicito) in Standard ML
07/04/2017: Esercitazione: pattern matching; esempi ed esercizi
20/04/2017: Ancora su tipi di dati astratti (capitolo 11 del libro di testo); considerazioni su tipi di dati ricorsivi
- Esempio: lista in C. L'implementazione della struttura dati e' visibile al codice che la usa.
- Come nascondere i dettagli implementativi usando diverse unita' di compilazione: interfaccia, implementazione e programma di test.
- lista in Java
21/04/2017: Esercitazione: tipi di dati in Standard ML; esercizi su convertitore di valuta.
27/04/2017: Tipi di dati ricorsivi e introduzione alla programmazione funzionale
- Lista immutabile in C (tipo di dato ricorsivo): interfaccia, implementazione e programma di test.
- Lista immutabile in Java (tipo di dato ricorsivo).
- Esempi di Lambda Function in C++: applicando una funzione anonima ed assegnando la lambda ad un oggetto
- Calcolo della derivata: funzione calcoladerivata in Standard ML ed in C. Funzione derivata in Standard ML (in C non e' possibile scriverla, perche' il linguaggio C permette di passare solo puntatori a funzioni - e non funzioni con la loro chiusura - come argomenti e valori di ritorno). Funzione derivata in C++.
04/05/2017: Ancora su programmazione funzionale e lambda calcolo
05/05/2017: Esercitazione: liste in Standard ML; esercizi su implementazione di liste.
11/05/2017: Ancora su lambda calcolo (alcune note su fixed point combinator ed implementazione di un fixed point combinator in SML).
12/05/2017: Esercitazione: strutture e signature in Standard ML

Materiale per Esercitazioni

Tutorial su uso della shell
Torri di Hanoi: versione semplice, versione con output piu' interessante e versione puramente funzionale in C++
Piccola introduzione alla programmazione funzionale
Qualche nota su ML, con introduzione a Poly/ML
Fattoriale ricorsivo e stack frame
Note sul currying
Slide su ambiente locale in Standard ML
Slide su pattern matching in Standard ML
- Implementazione della funzione booleana xor usando pattern matching: enumerazione esaustiva di tutti i possibili valori degli argomenti (tabella di verita') o utilizzo di variable pattern.
Alcune note sui tipi di dato ricorsivi

Esercizi

Sono disponibili i testi di alcuni esercizi di programmazione in Standard ML. Sono anche disponibili due testi di esame di esempio: un esempio e' comprensivo di prova teorica ed uno contiene solo prova pratica (ma con soluzione).

Altro esempio di prova pratica.

Altro esempio di prova teorica.

Esame del 14/06/2017: prima prova pratica e seconda prova pratica.

Esame del 20/07/2017: prima prova pratica e seconda prova pratica.

Esame del 04/09/2017: prova pratica.