fold

In der funktionalen Programmierung ist eine Falte, die auch als Reduktion, Akkumulation oder Katamorphismus bezeichnet wird, eine Art höherwertiger Funktion, die eine Transformation rekursiv auf eine Datenstruktur anwendet und sie zu einem Summenwert zusammenfasst
3
Antworten

Warum akzeptiert Haskell meine kombinatorische "Zip" Definition nicht?

Dies ist die Textbuch-Zip-Funktion: %Vor% Ich fragte auf #haskell früher, ob "zip" mit "foldr" alleine implementiert werden könnte, keine Rekursion, kein Mustervergleich. Nach einigem Nachdenken stellten wir fest, dass die Rekursion durch Fo...
26.04.2015, 15:59
3
Antworten

Optimierungen mit Falten

Ich bin nur neugierig, ob es (nur polymorphe Optimierung erster Ordnung) Optimierungen mit Falten gibt. Für Karten gibt es Abholzung: map g (map f ls) => map (g . f) ls und rev (map f ls) => rev_map f ls (schneller in Ocaml). A...
31.01.2011, 13:43
2
Antworten

Was wäre die "eindeutige Methode", die Traversable zusätzlich zu Foldable hat?

Foldable ist eine Oberklasse von Traversable , ähnlich wie Functor ist eine Oberklasse von Applicative und Monad . Ähnlich wie im Fall von Monad , wo es möglich ist, fmap als zu implementieren %Vor% wir könnten auch...
13.01.2014, 01:25
3
Antworten

Falte eine Teilliste um

Dies ist eine Frage, die durch eine bereits gelöschte Antwort auf diese Frage . Das Problem könnte wie folgt zusammengefasst werden:    Ist es möglich, über eine Liste zu falten, wobei das Ende der Liste beim Falten erzeugt wird? Hier is...
16.09.2016, 12:12
3
Antworten

Implementierung nehmen mit foldr

Dies ist meine take version mit foldr : %Vor% Die Ausgabe ist nicht das, was ich erwarte: %Vor% Ich versuchte dann zu debuggen, indem ich die Länge von y in sich selbst einfügte und das Ergebnis war: %Vor% Ich verstehe nicht,...
08.04.2013, 13:10
3
Antworten

Beträgt harkells Foldr immer ein Zwei-Parameter-Lambda?

Haskell newb hier Ich arbeite an diesem Problem in Haskell: %Vor% Die Lösung (die ich nachschlagen musste) verwendet foldr: %Vor% Dieser foldr, entsprechend der Lösung, nimmt zwei Parameter, x und acc. Es sieht so aus, als ob alle Fol...
12.01.2015, 16:36