Tag: y-combinator
Der Y-combinator ist ein higher-order-Funktion, die es ermöglicht eine Funktion, die nicht wissen, seinen eigenen Namen zu nennen, selbst. Sie ist die fundamentale basis der Rekursion.
3
Antworten
Ich bin daran interessiert, die tatsächliche Beispiele für die Verwendung von fixed-point-combinators (wie die y-combinator in C++. Haben Sie jemals einen festen Punkt combinator mit ei oder binden in real live code? Ich fand dieses Beispiel im
8
Antworten
Hat jemand eine gute Erklärung von "combinators" (Y-combinators etc. und NICHT das Unternehmen)? Ich bin auf der Suche nach einem für das praktische-Programmierer, die Rekursion versteht und höherer Ordnung Funktionen, die aber nicht über eine starke Theorie
5
Antworten
War ich ein wenig verwirrt durch die Dokumentation für fix (obwohl ich denke, dass ich verstehe, was es tun soll), also habe ich mir den source-code. , Dass hat mich mehr verwirrt: fix :: (a -> a)
10
Antworten
Normale Funktion enthalten kann, die einen Aufruf, um sich in seiner definition, kein problem. Ich kann nicht herausfinden, wie es zu tun mit einer lambda-Funktion zwar aus dem einfachen Grund, dass die lambda-Funktion hat keinen Namen, um
4
Antworten
Ist es möglich, zu schreiben, die Y Combinator in Haskell? Es scheint, wie es wäre eine unendlich rekursiven Typ. Y :: f -> b -> c where f :: (f -> b -> c) oder so etwas.