Suchergebnisse für Anfrage "lambda-calculus"

3 die antwort

Python: verschachtelte Lambdas - `s_push: Parser Stack Overflow Memory Error`

6 die antwort

"Welchen Teil von Hindley-Milner verstehst du nicht?"

I schwören Früher gab es ein T-Shirt zum Verkauf, das die unsterblichen Worte enthielt:Welchen Teil vonmachst dunicht verstehen?In meinem Fall wäre die Antwo...

2 die antwort

Überprüfen des Verständnisses von: "Variable" v.s. "Wert" und "Funktion" vs "Abstraktion"

(Diese Frage ist eine Fortsetzung vondieses [https://stackoverflow.com/questions/25327705/is-function-a-sort-of-variable/25329157#25329157] während des Studiums Haskell.) Früher war der Begriff zwischen "Variable" und "Wert" verwirrend. Deshalb ...

TOP-Veröffentlichungen

1 die antwort

END OF FILE Token mit Flex und Bison (funktioniert nur ohne Bison)

OK, das ist eine seltsame Frage, denn was ich hier habe, funktioniert so, wie ich es möchte. Ich schreibe einen Parser für einen Lambda-Kalkül-Ausdruck. Ein ...

3 die antwort

Kann man das in point free style ausdrücken?

Geben Sie den folgenden Ausdruck ein, um eine IEnumerable von Zahlen zu summieren:

4 die antwort

Ist es möglich, Lambda-Kalkül-Terme effizient auszuwerten?

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 ...

4 die antwort

Was ist die korrekte Semantik eines Abschlusses über eine Schleifenvariable? [geschlossen]

6 die antwort

Gibt es eine effiziente Möglichkeit, eine unäre Zahl in eine binäre Zahl umzuwandeln?

Stellen diese Datentypen unäre bzw. binäre natürliche Zahlen dar: data UNat = Succ UNat | Zero data BNat = One BNat | Zero BNat | End u0 = Zero u1 = Succ Zero u2 = Succ (Succ Zero) u3 = Succ (Succ (Succ Zero)) u4 = Succ (Succ (Succ (Succ ...

2 die antwort

Warum wird eine eingebaute Funktion auf zu wenige Argumente angewendet, die als schwache Normalform gelten?

Der HaskellDefinition [http://www.haskell.org/haskellwiki/Weak_head_normal_form] sagt: Ein Ausdruck hat die Normalform eines schwachen Kopfes (WHNF), wenn es sich um Folgendes handelt: ein Konstruktor (eventuell angewendet auf Argumente) wie ...

3 die antwort

Abfrage nach Booleschen Werten in Lambda Calculus

Dies ist die Lambda-Kalkül-Darstellung für den AND-Operator: lambda(m).lambda(n).lambda (a).lambda (b). m(n a b) bKann mir jemand beim Verständnis dieser Darstellung helfen?