Testi

• Testi Consigliati
  • R. Bird: Thinking Functionally with Haskell. Cambridge University Press (2015).
  • G. Hutton: Programming in Haskell (2nd edition). Cambridge University Press (2016).
  • B. W. Kernigham, D. Ritchie: The C Programming Language (2nd edition), Pearson (1988).

• Testi di consultazione e di ispirazione
  • E. W. Dijkstra: A Discipline of Programming, Prentice Hall (1976).
  • R. Bird: Pearls of Functional Algorithm Design, Cambridge University Press (2010).
  • R. Bird, P. Wadler: Introduction to Functional Programming, Prentice Hall (1988).
  • A. Oram, G. Wilson (eds.): Beautiful Code, O'Reilly (2008).
  • J. Bentley: Programming Pearls (1986) and More Programming Pearls (1988), Addison Wesley.

• Risorse Web
  • Haskell wiki

Slides (2024)
Anche se il programma ricalcherà quello del 2023, le slides verranno aggiornate durante il corso.

Slides (2023)
Anche se il programma ricalcherà quello del 2022, le slides verranno aggiornate durante il corso.

Slides (2022)

• Parte I: Fondamenti della Programmazione Funzionale
  • [22/2/22] Lezione 01: La Babele dei Linguaggi di Programmazione e un assaggio di programmazione funzionale in Haskell.
  • [25/2/22] Lezione 02: In Principio era il Lambda-Calcolo e lambda calcolo (tipato) in Haskell.
  • [01/3/22] Lezione 03: Quegli Strani Tipi (Polimorfi) e programmazione su liste in Haskell.
  • [04/3/22] Lezione 04: Verso un Ordine Superiore: definizioni di funzion(al)i in Haskell.
  • [08/3/22] Lezione 05: Tipi strani... ma di Classe: definizioni di tipi, classi e istanze in Haskell.

• Parte II: Temi Avanzati di Programmazione Funzionale
  • [15/3/22] Lezione 07: L'Onere e l'Onore della Prova: prove algebriche di correttezza.
  • [18/3/22] Lezione 08: L'importanza di essere Lazy: inside lazy evaluation e prime tecniche di ottimizzazione.
  • [22/3/22] Lezione 09: Funzionali sì, ma Efficienti: problematiche di efficienza tempo/spazio dei programmi funzionali.
  • [29/3/22] Lezione 11: L'Infinita Importanza di essere Lazy: programmazione su liste infinite.
  • [01/4/22] Lezione 12: Induzione, ricorsione & coinduzione e coricorsione: principi di dimostrazione per oggetti infiniti (da rivedere).
  • [12/4/22] Lezione 15: Funtori & Applicativi: astrazioni categoriali.
  • [22/4/22] Lezione 16: Shall I be pure or impure?: Monadi e applicazioni.
  • [22/4/22] Lezione 17: I/O e array mutabili: I/O ed altri aspetti non funzionali.
  • [29/4/22] Lezione 18: Altre Astrazioni: Variazioni sulle Monadi, Monoidi, Foldable e Traversable.

• Parte III: Programmazione Imperativa in C
  • [03/5/22] Lezione 19: ABC... del C: programmazione imperativa in C e asserzioni logiche.
  • [06/5/22] Lezione 20: Parli del Diavolo e spuntano... i puntatori!: uso di puntatori espliciti e aritmetica dei puntatori.
  • [10/5/22] Lezione 21: Vettori: Vettori e matrici nel C classico.
  • [13/5/22] Lezione 22: Memoria Dinamica: vettori variabili e dinamici in C. Allocazione esplicita di memoria.
  • [17/5/22] Lezione 23: Liste: Liste in C: versioni mutabili e immutabili.
  • [24/5/22] Lezione 24: Liste II: Strutture Dati Generiche e quello che in Haskell non si può fare.

• Parte IV: Perle di Programmazione Funzionale e Imperativa
  • [11/3/22] Lezione 06: Ideologia Funzionale in Azione!: common Words e problemi combinatori.
  • [25/3/22] Lezione 10: Perle di derivazione (di programmi): minimo intero libero e segmento di somma massima.
  • [05/4/22] Lezione 13: Perle di laziness: generazione di due famose sequenze: numeri di Hamming e numeri di Ulam.
  • [08/4/22] Lezione 14: Primo amore: numeri primi: generare la Sequenza più intrigante.
  • [27/5/22] Lezione 25: Una Lezione dal Maestro EWD: Perla di derivazione di programmi imperativi usando asserzioni logiche.

Slides (2021)

• Parte I: Programmazione Funzionale
  • Lez. 1 - La Babele dei Linguaggi di Programmazione: Introduzione al Corso e ai Linguaggi Funzionali nel contesto dell'evoluzione dei Linguaggi di Programmazione
  • Lez. 2 - In Principio era il Lambda-Calcolo: Introduzione al Lambda calcolo ed Haskell
  • Lez. 3 - Quegli Srani Tipi (Polimorfi): Tipi base, Costruttori di Tipo, definizioni di funzioni
  • Lez. 4 - Verso un Ordine Superiore. Funzioni e Funzionali: Programmazione su liste, pattern matching, funzionali di ordine superiore
  • Lez. 5 - Una Questione di Classe: Definizioni di tipo e tipi induttivi. Classi e Istanze.
  • Lez. 6 - Alla Ricerca del Tipo Principale: Sistema di assegnamento dei tipi e algoritmo di inferenza dei tipi di Hindley-Milner.
  • Lez. 7 - Astrazioni Categoriali. Funtori e Applicativi: Funtori e Applicativi.
  • Lez. 8 - Proofs 1: Trasformazioni di Programmi e prove algebriche di equivalenze.
  • Lez. 9 - Prime Perle: Prime perle: sottovettore di somma massima e minimo intero libero.
  • Lez.10 - L'Importanza di Essere Lazy: Inside Lazy Evaluation.
  • Lez.11 - Perle di Laziness I: numeri di Ulam e numeri di Hamming.
  • Lez.12 - Perle di Laziness II: numeri primi, primo amore.
  • Lez.13 - Effectful Programming in Haskell: Monadi.
  • Lez.14 - More on Monads and more.
  • Lez.15 - Altre Astrazioni Categoriali: Monoidi e Traversable. Input output.
  • Lez.16 - Goodbye Haskell (Ultima Perla): Unbeatable Tic-Tac-Toe.

• Parte II: Programmazione Imperativa
  • Lezione 17: Specifiche, precondizioni, postcondizioni e invarianti.
  • Lezione 18: Puntatori in C e passaggio di parametri.
  • Lezione 19: Vettori in C e aritmetica dei puntatori.
  • Lezione 20: Vettori e Matrici in C. Allocazione di memoria dinamica.
  • Lezione 21: Liste I. Strutture dati mutabili e immutabili.
  • Lezione 22: Liste II. Gestione della memoria: fastidio e opportunità.
  • Lezione 23: Alcune perle di stile e di programmazione.
  • Lezione 24: Alberi binari e Strutture Dati Generiche in C.

- Ivano Salvo - 2021-03-12