Ich habe in letzter Zeit viele Programme im Lambda-Kalkül geschrieben und wünschte, ich könnte einige davon in Echtzeit ausführen. Doch so sehr das Trend-Funktionsparadigma auf der Lambda-Rechnung und der Regel der B-Reduktionen basiert, konnte ich keinen einzigen Bewerter finden, der kein Spielzeug ist und nicht der Effizienz dient. Funktionale Sprachen sollen schnell sein, aber die, die ich kenne, bieten keinen Zugriff auf normale Formulare (siehe Haskells Lazy Evaluator, Scheme's Closures usw.). Arbeiten Sie also nicht als LC-Evaluatoren.

Das lässt mich wundern: Ist es einfach unmöglich, Lambda-Kalkül-Begriffe effizient zu bewerten, ist es nur ein historischer Unfall / mangelndes Interesse, dass sich niemand dazu entschlossen hat, einen schnellen Bewerter dafür zu erstellen, oder fehlt mir einfach etwas?