lambda-calculus

Ich weiß das: %Vor% Ich möchte eine solche Liste schreiben %Vor% , was ungefähr so ​​aussehen wird: %Vor% Aber ich weiß nicht, wie man "Null" in S, K und I-Kombinatoren kompiliert. Weiß jemand? Vielen Dank im Voraus, Edwin Jose Pal...

Ich muss einige Lambda-Funktionen für & gt; , & lt; und! = Ich habe keine Idee, wie, könnte mir bitte jemand helfen? PS: Wir haben gerade mit Lambda Calculus begonnen, also bitte keine Vorkenntnisse voraussetzen. Vielen Dank im Voraus!...

Ich hoffe, es geht euch allen gut. Ich implementiere den Festkomma Kombinator in Harbour und habe einige Probleme damit. Nun, der Y-Kombinator kann durch den Lambda-Kalkül definiert werden als: Y = (λh.λF.F(λ x.((h(h))(F))(x))) (λh.λF.F(...

Es ist möglich, verschiedene Typen im untypisierten Lambda-Kalkül durch Funktionen höherer Ordnung zu kodieren. %Vor% Ich habe mich gefragt, ob es irgendwelche Forschungen gegeben hat, andere weniger konventionelle Typen einzubetten. Es wäre...

Ich versuche, Kirchenzahlen in Haskell mit den Definitionen zu drucken: %Vor% Haskell-Code: %Vor% Wenn ich es in der Haskell-Konsole eingebe, erhalte ich einen Fehler, der sagt: %Vor% Ich bin nicht in der Lage, genau herauszufinden,...