Die Herausforderung besteht darin, einen Interpreter für die untypisierte Lambda-Rechnung mit möglichst wenigen Zeichen zu schreiben . Wir definieren den untypisierten Lambda-Kalkül wie folgt: Syntax Es gibt die folgenden drei Arten von Ausdrücken: Ein Lambda-Ausdruck hat die Form, (λ x. e)bei der...
Die Aufgabe Schreiben Sie ein Programm oder eine Funktion, die mit drei Zeichenfolgen A, B, Ceine Ausgabezeichenfolge erzeugt, durch die jede Instanz von Bin Arekursiv ersetzt wurde C. Rekursives Ersetzen bedeutet das Wiederholen eines Ersetzens, wobei bei jedem Schritt alle nicht überlappenden...
Der SKI-Kalkül ist eine Variante des Lambda-Kalküls, die keine Lambda-Ausdrücke verwendet. Stattdessen werden nur application und die Kombinatoren S , K und I verwendet. In dieser Herausforderung besteht Ihre Aufgabe darin, SKI-Begriffe in β-Normalform in Lambda-Begriffe zu übersetzen ....
Zielsetzung Generieren Sie die ursprüngliche verschlüsselte Liste aus den Bewegungen, die eine Einfügungssortierung ausführen würde, um sie zu sortieren. Die ursprüngliche Liste enthält alle Zahlen von 0bis N-1(einschließlich), wobei Ndie Größe der Eingabe ist. Eingang Eine Liste mit den...
Hintergrund Visualisierung von λ-Kalkülbegriffen Der berühmte Lambda-Jongleur (und Code-Golfer ) John Tromp entwickelte eine interessante Visualisierung von Begriffen im λ-Kalkül. In seinen Worten: Abstraktionen (Lambdas) werden durch horizontale Linien dargestellt, Variablen durch vertikale...