In der Mathematik ist die Kirchenkodierung ein Mittel, um Daten und Operatoren im Lambda-Kalkül darzustellen. Die Kirchenziffern sind eine Darstellung der natürlichen Zahlen unter Verwendung der Lambda-Notation. Die Methode wurde nach Alonzo Church benannt, die auf diese Weise zuerst Daten im Lambda-Kalkül kodierte.
Das dlist-Paket enthält die DList -Daten Typ, der viele Instanzen hat, aber nicht Foldable oder Traversable . In meinen Augen sind dies zwei der "listenähnlichen" Klassen. Gibt es einen Leistungsgrund, dass DList keine Instanz diese...
23.03.2013, 17:03
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!...
11.12.2013, 15:48