combinators

48Hitze

9Antwort

Kann mir jemand erklären, wie funktioniert foldr? Nehmen Sie diese Beispiele: Prelude> foldr (-) 54 [10, 11] 53 Prelude> foldr (\x y -> (x+y)/2) 54 [12, 4, 10, 6] 12.0 ich über diese Hinrichtunge

15Hitze

3Antwort

Haskell: überraschendes Verhalten von "groupBy"

Ich versuche, das Verhalten der Bibliotheksfunktion groupBy (aus Data.List) herauszufinden, die vorgibt, Elemente einer Liste durch eine als "Gleichheitstest" -Funktion übergebene Funktion zu gruppier

1Hitze

4Antwort

Ist das eine korrekte Art, die Haskell-Foldr-Funktion zu schreiben?

Ich machte die Übungen von YAHT's Recursive Datatype Abschnitt, und fand das Schreiben der listFoldr Funktion ein bisschen schwierig (vor allem, weil ich den Unterschied zwischen foldl und foldr auf d

6Hitze

1Antwort

Scala combinator Parsern - unterscheiden zwischen Zahlenketten und variablen Strings

I Cay Horstmanns combinator Parser Übungen mache, frage ich mich über den besten Weg zwischen Strings zu unterscheiden, die Zahlen und Strings darstellen, die Variablen in einem Spiel Aussage darstell

11Hitze

6Antwort

Python-Implementierung von Parsec?

Ich schrieb vor kurzem einen Parser in Python mit Ply (es ist eine Python Reimplementierung von Yacc). Als ich mit dem Parser fast fertig war, entdeckte ich, dass die Grammatik, die ich analysieren mu

46Hitze

8Antwort

Gute Erklärung von "Combinators" (für Nicht-Mathematiker)

Jeder hat eine gute Erklärung der "Kombinatoren" (Y-Kombinatoren etc. und NICHTthe company)? Ich suche eine für den praktischen Programmierer, der Rekursion und Funktionen höherer Ordnung versteht, ab

27Hitze

5Antwort

Was sind Zygo/Meta/Histo/Para/Futu/Dyna/was auch immer-Morphismen?

Gibt es eine Liste von ihnen mit Beispielen, die für eine Person ohne umfangreiches kategorientheoretisches Wissen zugänglich sind?

1Hitze

2Antwort

Wie bekomme ich die Summe aller Inhalte beim Parsen eines XML-Tags in Ruby?

Ich habe einige XHTML (aber wirklich jede XML übernommen werden können) wie folgt aus: <h1> Hello, World!