Dlaczego niektóre funkcje Prelude są zdefiniowane w kategoriach foldl?

Question

Ogólnie unika się foldl na rzecz foldl' lub foldr. Cytowanie Real World Haskell:

Ze względu na zachowanie thunking z foldl, że jest mądry, aby uniknąć tego funkcję w rzeczywistych programów: nawet jeśli nie powiedzie wprost, to być niepotrzebnie nieefektywne. Zamiast tego zaimportuj Data.List i użyj foldl '.

Jednak niektóre funkcje Prelude są zdefiniowane pod tym względem (np. (\\) i unionBy). Dlaczego to? Czy nie należy wprowadzać zbyt wiele rygorów w tych funkcjach?

Answer 1

Preludium zostało zaprojektowane przed foldl' istniało i od tego czasu istnieje presja, aby zachować kompatybilność wsteczną (w odniesieniu do surowości, jak wspomniano wcześniej).

Answer 2

W obu przypadkach akumulator jest typu [a]. Nie widzę, aby wymuszenie listy na słabej normalnej formie miało duże znaczenie, a wprowadzenie takiej częściowej ścisłości wydaje się dość arbitralne.

Answer 3

W przypadku (\\) i unionBy, funkcja złożona ma typ

foo :: [a] -> b -> [a] 

i foo xs y usuwa co najwyżej jeden element z xs, więc korzystanie foldl' nie kupować niczego tam w ogóle, łącznikami zostanie zbudowany po prawej stronie najwyższego numeru (:) zamiast nad nim.

Nie zaszłyby żadne zmiany pod względem ścisłości, o ile widzę, oba fałdy byłyby oceniane tylko wtedy, gdy wynik wymaga oceny na słabej normalnej formie głowy, a gdy foldl' wytworzyłby _|_, więc będzie foldl.