Haskell foldl 'schlechte Leistung mit (++)

Ich habe diesen Code:

Auswertung und Platzlecks in Haskell

Gibt es eine Garantie für die Auswertungsreihenfolge innerhalb einer Musterübereinstimmung?

Folgend (&&) :: Bool -> Bool -> Bool False && _ = False True && False = False True && True = Truehat die gewünschte KurzschlusseigenschaftFalse && undefined ≡ False. Die erste Klausel, die im richtigen Argument nicht streng ist, wird ...

Was ist die Beziehung zwischen unboxed Typen und Strenge?

Unboxed-Typen wieInt# und strenge Funktionen wief (!x) = ..., sind etwas anderes, aber ich sehe konzeptionelle Ähnlichkeit - sie verbieten in irgendeiner Weise Faulheit. Wenn Haskell eine strenge Sprache wie Ocaml wäre, wäre jede Funktion streng ...