lambda-calculus, Seitenzahl 1

1

Antwort

Welche Begriffe entsprechen Map, Filter, Foldable, Bind etc. aus der Category Theory?

Ich wurde interessiert und fand nicht an einer Stelle eine Liste entsprechender Begriffe: Map <-> Morphism Foldable <-> Catamorphism ... Wer kann die Liste der Begriffe ergänzen?

20.07.2017, 11:26

0

Antworten

schwebender Durchlauf von völlig faulem Lambda-Heben?

Ich lese funktionale Sprachen implementieren: ein Tutorial , und stieß auf ein Problem, wenn Floating-Pass von vollständig faulem Lambda-Hub implementiert wurde. Ich möchte beschreiben, wie das Floating funktioniert, um diese Frage klar zu m...

05.01.2016, 11:44

3

Antworten

Abfrage nach Booleschen Werten in Lambda-Kalkül

Dies ist die Lambda-Kalkül-Repräsentation für den AND-Operator: %Vor% Kann mir jemand helfen, diese Darstellung zu verstehen?

07.03.2010, 23:45

3

Antworten

Kann irgendeine Funktion auf eine punktfreie Form reduziert werden?

Viele Funktionen können reduziert werden, um freie Form zu geben - aber gilt das für alle? z. Ich sehe nicht, wie es gemacht werden könnte: %Vor%

01.11.2012, 19:39

3

Antworten

Reiner Lambda-Kalkül - und Funktion

Ich lerne gerade Haskell und nehme auch an einem eher theoretischen Vortrag über funktionale Programmierung an der Universität teil. Ich weiß, dass dies eine rein theoretische / akademische Frage ist, aber ich bin dennoch daran interessiert,...

30.06.2014, 23:18

2

Antworten

Definieren einer Stapeldatenstruktur und ihrer Hauptoperationen im Lambda-Kalkül

Ich versuche, eine stack -Datenstruktur im Lambda-Kalkül zu definieren, indem ich Festkomma-Kombinatoren verwende. Ich versuche, zwei Operationen zu definieren, insertion und removal der Elemente, also, push und pop , aber die einz...

24.12.2012, 00:58

4

Antworten

Y-Kombinator in D?

Ich versuche, den Y-Kombinator besser zu lernen (ich sortiere verstehe es in Schema) und implementiere ihn in D 2.0, und ich versage ziemlich kläglich: %Vor% Das funktioniert nicht, aus dem offensichtlichen Grund, dass ich fact nicht an...

04.08.2011, 07:44

2

Antworten

Haskell für Lambda-Kalkül, Typ-Inferenz

Mein Abenteuer in Haskell Programmierung war nicht nur episch. Ich implementiere Simple Lambda Calculus, und ich bin froh, Syntax , Evaluation , sowie Substitution abgeschlossen zu haben, in der Hoffnung, dass sie korrekt sind. Was bleibt...

05.12.2013, 15:40

2

Antworten

Wie implementiert man eine rekursive Funktion im Lambda-Kalkül mit einer Teilmenge der Clojure-Sprache?

Ich studiere Lambda-Kalkül mit dem Buch "Eine Einführung in die funktionale Programmierung durch Lambda-Kalkül" von Greg Michaelson. Ich implementiere Beispiele in Clojure mit nur einer Teilmenge der Sprache. Ich erlaube nur: Symbole Ei...

05.09.2017, 18:36

3

Antworten

interpretiere Parigots Lambda-mu-Kalkül in Haskell

Man kann den Lambda-Kalkül in Haskell interpretieren: %Vor% Wie könnte der obige Interpreter auf den Lambda-mu-Kalkül erweitert werden? Meine Vermutung ist, dass es Fortsetzungen für die Interpretation der zusätzlichen Konstrukte in diesem...

26.02.2015, 20:28