A++ e il calcolo lambda: Principi di programmazione funzionale

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.

Titolo originale:

A++ and the Lambda Calculus: Principles of Functional Programming

Contenuto del libro:

Il libro contiene un'introduzione al Calcolo Lambda come fondamento teorico di tutti i linguaggi di "programmazione funzionale".

Il calcolo lambda è stato creato dal logico americano Alonzo Church negli anni '30 ed è documentato nelle sue opere pubblicate nel 1941 con il titolo "The Calculi of Lambda Conversion". Alonzo Church voleva formulare un sistema logico matematico e non aveva l'intenzione di creare un linguaggio di programmazione.

La relazione intrinseca del suo sistema con la programmazione fu scoperta molto più tardi, quando la programmazione dei computer divenne un problema. Il libro "A++ e il Lambda Calculus" contiene anche una breve introduzione al linguaggio di programmazione didattico A++, un linguaggio di programmazione minimale costruito con il Lambda Calculus come base. Lo scopo di A++ è quello di servire come strumento di apprendimento piuttosto che come linguaggio di programmazione usato per risolvere problemi pratici.

A++ dovrebbe essere uno strumento eccellente per acquisire familiarità con il nucleo della programmazione e con i modelli di programmazione che possono essere applicati ad altri linguaggi necessari per affrontare il mondo reale. A++ è presentato in modo più dettagliato nei libri: 'A++ Il più piccolo linguaggio di programmazione del mondo' (978-3-7469-3021-3) e in 'Programmieren lernen mit A++' (978-3-7469-3199-9).