Tecniche di Programmazione Funzionale e Imperativa

Sapienza Università di Roma · Ingegneria dell'informazione, informatica e statistica · tutti i canali con docenti, libri e orari, a.a. 2026/2027

Prof. Ivano Salvo Canale unico

Ingegneria dell'informazione, informatica e statistica · esame facoltativo · 6 CFU · apri nel catalogo

Testi

Bird – Thinking Functionally with Haskell Vai su Amazon ›

Kernigham – The C Programming Language Vai su Amazon ›

Cosa indica di studiare il docente

Argomenti del programma: Parte 1: Programmazione Funzionale. 1.1) Concetti base di Haskell: tipi, funzioni, definizioni ricorsive. 1.2) Classi, tipi definiti dall'utente, funzioni di ordine superiore. 1.3) Call-by-name e valutazione lazy. Tipi di dato infiniti. 1.4) Trattamento di aspetti non-funzionali (IO, eccezioni, stato, etc.) in Haskell: Funtori, Applicativi e Monadi.