A++ i rachunek lambda: Zasady programowania funkcjonalnego

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

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

Zawartość książki:

Książka zawiera wprowadzenie do rachunku lambda jako teoretycznego fundamentu wszystkich języków programowania funkcyjnego.

Lambda Calculus został stworzony przez amerykańskiego logika Alonzo Churcha w latach trzydziestych XX wieku i jest udokumentowany w jego pracach opublikowanych w 1941 roku pod tytułem „The Calculi of Lambda Conversion”. Alonzo Church chciał sformułować matematyczny system logiczny i nie miał zamiaru tworzyć języka programowania.

Nieodłączny związek jego systemu z programowaniem został odkryty znacznie później, w czasach, w których programowanie komputerów stało się kwestią. Książka „A++ and the Lambda Calculus” zawiera również krótkie wprowadzenie do edukacyjnego języka programowania A++, minimalnego języka programowania, który został zbudowany w oparciu o Lambda Calculus. Celem A++ jest służenie jako narzędzie do nauki, a nie jako język programowania używany do rozwiązywania praktycznych problemów.

A++ ma być doskonałym narzędziem do zapoznania się z podstawami programowania i wzorcami programistycznymi, które można zastosować w innych językach potrzebnych do zmierzenia się z prawdziwym światem. A++ jest przedstawiony bardziej szczegółowo w książkach: 'A++ Najmniejszy język programowania na świecie' (978-3-7469-3021-3) oraz w 'Programmieren lernen mit A++' (978-3-7469-3199-9).