Почему некоторые функции Prelude определены в терминах foldl?

Question

В целом, foldl исключается в пользу foldl' или foldr. Цитирование Real World Haskell:

Из-за поведения thunking из foldl, разумно, чтобы избежать этой функции в реальных программах: даже если он не провалится сразу, он будет излишне неэффективно. Вместо этого импортируйте Data.List и используйте foldl '.

Тем не менее, некоторые функции Prelude определены в терминах его (например, (\\) и unionBy). Почему это? Не следует ли вводить слишком строгое отношение к этим функциям?

Answer 1

Прелюдия была разработана до того, как существовала foldl', и с тех пор существует давление для поддержания обратной совместимости (в отношении строгости, как вы упомянули).

Answer 2

В обоих случаях аккумулятор относится к модели [a]. Я не могу видеть, что форсирование списка к нормальной форме должно было бы иметь огромное значение, и введение такой частичной строгости кажется несколько произвольным.

Answer 3

В случае (\\) и unionBy, сложенный функция имеет тип

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

и foo xs y удаляет более одного элемента из xs, поэтому использование foldl' ничего не будет покупать там вообще, будет построен в санков справа от верхнего (:) вместо него.

Это не будет иметь значение с точки зрения строгости, насколько я могу видеть, как складки будут оцениваться только тогда, когда результат должен быть оценен в слабой головной нормальной форме, и всякий раз, когда foldl' будет производить _|_, так будет foldl.