Tecniche di Programmazione Funzionale e Imperativa – prof. Ivano Salvo

Informatica · Sapienza Università di Roma · 3º anno · 2º semestre · Metodologico · 6 CFU · a scelta (Metodologici caratterizzanti) · canale unico

Testi d'esame di Tecniche di Programmazione Funzionale e Imperativa del prof. Ivano Salvo, canale unico, corso di laurea in Informatica (Laurea triennale (L-31)), Sapienza Università di Roma, 3º anno · 2º semestre · Metodologico · 6 CFU · a scelta (Metodologici caratterizzanti), a.a. 2026/2027. Libri adottati: Bird – Thinking Functionally with Haskell; Kernigham – The C Programming Language.

Tecniche di Programmazione Funzionale e Imperativa – Prof. Ivano Salvo Canale unico

Il docente consiglia di frequentare

Corso di laurea: Informatica · Laurea triennale (L-31) · 3º anno · 2º semestre · Metodologico · 6 CFU · a scelta (Metodologici caratterizzanti) / 3º anno · 2º semestre · Metodologico · 6 CFU · a scelta (Insegnamenti metodologici affini) / 3º anno · 2º semestre · Tecnologico · 6 CFU · a scelta (Insegnamenti metodologici di completamento)

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

Il docente indica 2 testi · da studiare tutti

Testi

Bird – Thinking Functionally with Haskell Vai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026

Kernigham – The C Programming Language Vai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026

Bacheca del docente: cosa indica di studiare

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.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Altre materie del prof. Salvo

Informatica Generale · Matematica · 2º anno · 1º semestre · 9 CFU
Linguaggi di Programmazione · Matematica · 3º anno · 1º semestre · Generale · 3 CFU · a scelta (Abilità informatiche)

Altri esami del 3º anno – Informatica

Machine Learning · 2º semestre · Fabio Galasso, Indro Spinelli
Sicurezza · 2º semestre · Emiliano Casalicchio
Fisica · 1º semestre · Massimo Germano

Vedi anche: Prof. Ivano Salvo · Tecniche di Programmazione Funzionale e Imperativa a Sapienza (tutti i canali)