Als «lisp» getaggte Fragen

Historische Beziehung zwischen typisiertem Lambda-Kalkül und Lisp?

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 …

16 lambda-calculus church-turing-thesis lisp typed-lambda-calculus

Ist die kontextuelle Äquivalenz einer Sprache mit `quote`-`eval` trivial oder nicht?

In [1] demonstrierte Mitchell Wand, dass das Hinzufügen von fexprs zum reinen Lambda-Kalkül die Theorie der kontextuellen Äquivalenz trivialisiert, was bedeutet, dass zwei Terme kontextuell äquivalent sind, wenn sie kongruent sind. Als er verwandte Arbeiten untersuchte, ging er davon aus, dass "unser Ergebnis eine alte Beobachtung von Albert Meyer [2] …

13 pl.programming-languages lisp scheme

Wie ist Lambda Calculus eine bestimmte Art von Term Writing System?

Jetzt können wir sehen, dass Church mit dem einfach getippten Lambda-Kalkül in Verbindung gebracht wurde . Tatsächlich 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 …

12 lambda-calculus term-rewriting-systems lisp

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.

Licensed under cc by-sa 3.0 with attribution required.