Geschlossen . Diese Frage muss fokussierter sein . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so, dass sie sich nur auf ein Problem konzentriert, indem Sie diesen Beitrag bearbeiten . Geschlossen...
Der Code für die Funktion myAny in dieser Frage verwendet foldr. Die Verarbeitung einer unendlichen Liste wird beendet, wenn das Prädikat erfüllt ist. Ich habe es mit foldl umgeschrieben: myAny :: (a -> Bool) -> [a] -> Bool myAny p list = foldl step False list where step acc item = p...
Was ist ein Kombinator? Ist es "eine Funktion oder Definition ohne freie Variablen" (wie in SO definiert)? Oder wie wäre es damit: Laut John Hughes in seinem bekannten Artikel über Pfeile ist "ein Kombinator eine Funktion, die Programmfragmente aus Programmfragmenten erstellt" , was vorteilhaft...
Ich war ein bisschen verwirrt von der Dokumentation für fix(obwohl ich glaube zu verstehen, was es jetzt tun soll), also habe ich mir den Quellcode angesehen. Das hat mich verwirrter gemacht: fix :: (a -> a) -> a fix f = let x = f x in x Wie genau gibt dies einen Fixpunkt zurück? Ich habe...
Ich wollte foldl vs foldr testen. Nach allem, was ich gesehen habe, sollten Sie aufgrund der Optimierung der Schwanzrekursion Foldl über Foldr verwenden, wann immer Sie können. Das macht Sinn. Nach dem Ausführen dieses Tests bin ich jedoch verwirrt: foldr (dauert 0,057 Sekunden, wenn der...
Im recursion-schemesPaket sind folgende Typen definiert: newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a. (f a -> a) -> a) Sind sie isomorph? Wenn ja, wie beweisen Sie