Introduzione alla Programmazione Funzionale (Italian Edition)

Introduzione alla Programmazione Funzionale

Questo libro è un'introduzione completa alla programmazione funzionale, un paradigma di programmazione che si basa sul concetto di funzione matematica. Il libro è suddiviso in due parti:

Parte 1: Introduzione alla programmazione in Objective Carml

• Presenta i concetti e le tecniche di base della programmazione funzionale, utilizzando Objective Carml come linguaggio di riferimento.
• Spiega la programmazione con funzioni di ordine superiore, la metodologia della ricorsione e le strutture di dati fondamentali.
• Illustra la relazione tra tipi di dati induttivi, definizioni ricorsive e dimostrazioni induttive.
• Approfondisce i concetti fondamentali del sistema dei moduli e il nucleo della programmazione imperativa in Objective Carml.

Parte 2: Fondamenti del paradigma del "calcolo come riduzione"

• Fornisce un'introduzione al lambda-calcolo, illustrando il suo ruolo nello studio del concetto di calcolabilità e decidibilità.
• Descrive il sistema dei tipi dei linguaggi della classe ML e analizza il concetto di valutazione in un ambiente.
• Evidenzia la differenza tra determinazione statica e dinamica del campo d'azione delle dichiarazioni.

Il libro è il frutto di una decina d'anni di esperienza nei corsi di Fondamenti di Informatica II e Programmazione Funzionale presso la Facoltà di Ingegneria dell'Università degli Studi di Roma Tre.

Autori

Marta Cialdea Mayer è professore associato presso la Facoltà di Ingegneria dell'Università degli Studi di Roma Tre, e docente dei corsi di Intelligenza Artificiale e Programmazione Funzionale.

Carla Limongelli è ricercatore presso la Facoltà di Ingegneria dell'Università degli Studi di Roma Tre.

Questo libro è un'ottima risorsa per chiunque desideri imparare i principi della programmazione funzionale. È scritto in modo chiaro e conciso, e fornisce una solida base per comprendere i concetti chiave di questo paradigma di programmazione.