Introduzione alla programmazione funzionale - 9788874880317

Introduzione alla programmazione funzionale: Questo libro costituisce un'introduzione alla programmazione funzionale, con l'obiettivo di fornire sia i concetti e le tecniche di base utilizzate nei moderni linguaggi di programmazione funzionale, sia i fondamenti teorici che sono alla base di essi. Il libro è suddiviso in due parti. La prima parte è un'introduzione alla programmazione In Objective Carml, utilizzato come linguaggio di riferimento per illustrare i principi della programmazione funzionale. Particolare attenzione viene dedicata alla programmazione con funzioni di ordine superiore, che vengono introdotte fin dal primo capitolo, alla metodologia della ricorsione e alle strutture di dati fonda mentali, ponendo in luce la relazione tra tipi di dati induttivi, definizioni ricorsive e dimostrazioni induttive. Sono illustrati infine i concetti fondamentali del sistema dei moduli e il nucleo della programmazione imperativa in Objective Carml. La seconda parte illustra i fondamenti del paradigma del "calcolo come riduzione" alla base della programmazione funzionale. Essa contiene un'introduzione al lambda-calcolo, con una sintetica illustrazione del suo ruolo nello studio del concetto di calcolabilità e decidibilità. L'introduzione ai fondamenti della programmazione funzionale è completata dalla descrizione del sistema dei tipi dei linguaggi della classe ML e dall'analisi del concetto di valutazione in un ambiente, che 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
This book is an introduction to functional programming, with the aim of providing both the basic concepts and techniques used in modern functional programming languages, as well as the theoretical foundations that underlie them. The book is divided into two parts. The first part is an introduction to programming In Objective Carml, used as a reference language to illustrate the principles of functional programming. Particular attention is paid to programming with higher-order functions, which are introduced from the first chapter, to the recursion methodology and to fundamental data structures, highlighting the relationship between inductive data types, recursive definitions and inductive proofs. Finally, the fundamental concepts of the module system and the core of imperative programming in Objective Carml are illustrated. The second part illustrates the fundamentals of the paradigm of "calculation as reduction" at the basis of functional programming. It contains an introduction to lambda-calculus, with a brief illustration of its role in the study of the concept of computability and decidability. The introduction to the fundamentals of functional programming is completed by the description of the type system of the languages of the ML class and the analysis of the concept of evaluation in an environment, which highlights the difference between static and dynamic determination of the field of action of declarations. The book is the result of about ten years of experience in the courses of Fundamentals of Computer Science II