Was versteht man unter "Capture-Vermeidung von Substitutionen"?

Beim Lesen des Lambda-Kalküls im Wiki stieß man auf den BegriffCapture-Vermeidung von Substitutionen. Kann mir bitte jemand erklären, was das bedeutet, da ic...

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

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

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

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

Kann man das in point free style ausdrücken?

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

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?

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

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

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