Ich lese gerade über Lambda-Kalkül nach, um "es kennenzulernen". Ich sehe es als alternative Form der Berechnung im Gegensatz zur Turing-Maschine. Es ist eine interessante Art, Dinge mit Funktionen / Reduzierungen zu tun (grob gesagt). Einige Fragen quälen mich jedoch immer wieder:
- Was ist der Sinn von Lambda-Kalkül? Warum all diese Funktionen / Reduzierungen durchlaufen? Was ist der Zweck?
- Infolgedessen muss ich mich fragen: Was genau hat die Lambda-Rechnung getan, um die Theorie der CS voranzutreiben? Was waren die Beiträge, die es mir ermöglichen würden, einen "Aha" -Moment zu haben, um die Notwendigkeit seiner Existenz zu verstehen?
- Warum wird die Lambda-Rechnung in Texten zur Automatentheorie nicht behandelt? Der übliche Weg besteht darin, verschiedene Automaten, Grammatiken, Turing-Maschinen und Komplexitätsklassen zu durchlaufen. Lambda-Kalkül ist nur im Lehrplan für Kurse im SICP-Stil enthalten (vielleicht nicht?). Aber ich habe selten gesehen, dass es Teil des Kerncurriculums von CS ist. Bedeutet das, dass es nicht so wertvoll ist? Vielleicht nicht und mir fehlt hier vielleicht etwas?
Mir ist bewusst, dass funktionale Programmiersprachen auf der Lambda-Rechnung basieren, aber ich betrachte das nicht als gültigen Beitrag, da es viel vor unserer Einführung von Programmiersprachen erstellt wurde. Also, was ist wirklich der Sinn des Wissens / Verstehens der Lambda-Rechnung, bezüglich ihrer Anwendungen / Beiträge zur Theorie?
Functional Programming
über Haskell und ein bisschen Lisp gesprochen. Der Nachfolger war Principles of Programming Languages
, der ML verwendete und Lambda-Kalkül einführte. Wie einige Antworten zeigen, gehört der Lambda-Kalkül