Ich hatte kürzlich eine Diskussion mit einem Freund (der sich für stark typisierte Sprachen einsetzt). Er machte den Kommentar:
Die Erfinder von Lambda Calculus haben immer beabsichtigt, es zu tippen.
Jetzt können wir sehen, dass Church mit dem einfach getippten Lambda-Kalkül in Verbindung gebracht wurde . In der Tat scheint er den einfach getippten Lambda-Kalkül erklärt zu haben, um Missverständnisse über den Lambda-Kalkül zu vermeiden.
Jetzt, als John McCarthy Lisp kreierte, basierte er es auf dem Lambda-Kalkül . Dies hat er selbst zugegeben, als er "Rekursive Funktionen symbolischer Ausdrücke und ihre maschinelle Berechnung, Teil I" veröffentlichte . Sie können es hier lesen .
McCarthy scheint den einfach getippten Lambda-Kalkül nicht angesprochen zu haben. Dies scheint von Robyn Milner mit ML dominiert zu werden .
Es gibt einige Diskussionen über die Beziehung zwischen Lisp und Lambda - Kalkül hier , aber sie bekommen nicht wirklich auf den Grund , warum McCarthy wählte es nicht typisiert zu verlassen.
Meine Frage ist - Wenn McCarthy zugibt, dass er etwas über Lambda-Kalkül wusste - warum hat er den typisierten Lambda-Kalkül ignoriert? (dh - ist es wirklich offensichtlich, dass Lambda-Kalkül geschrieben werden sollte? Es scheint nicht so)