Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
A++ and the Lambda Calculus: Principles of Functional Programming
Das Buch enthält eine Einführung in den Lambda-Kalkül als theoretische Grundlage aller 'Funktionalen Programmiersprachen'.
Der Lambda-Kalkül wurde von dem amerikanischen Logiker Alonzo Church in den 1930er Jahren entwickelt und ist in seinen 1941 veröffentlichten Werken unter dem Titel „The Calculi of Lambda Conversion“ dokumentiert. Alonzo Church wollte ein mathematisches logisches System formulieren und hatte nicht die Absicht, eine Programmiersprache zu schaffen.
Die eigentliche Beziehung seines Systems zur Programmierung wurde erst viel später entdeckt, in einer Zeit, in der die Programmierung von Computern zum Thema wurde. Das Buch „A++ und der Lambda-Kalkül“ enthält auch eine kurze Einführung in die pädagogische Programmiersprache A++, eine minimale Programmiersprache, die auf dem Lambda-Kalkül aufbaut. Der Zweck von A++ ist es, als Lerninstrument zu dienen und nicht als Programmiersprache zur Lösung praktischer Probleme.
A++ soll ein ausgezeichnetes Werkzeug sein, um sich mit dem Kern der Programmierung und mit Programmiermustern vertraut zu machen, die in anderen Sprachen angewendet werden können, die in der realen Welt benötigt werden. A++ wird in den Büchern ausführlicher vorgestellt: 'A++ Die kleinste Programmiersprache der Welt' (978-3-7469-3021-3) und in 'Programmieren lernen mit A++' (978-3-7469-3199-9).
| ISBN: | 9783746938110 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
