Нотация суммирования в Haskell

Question

На странице Википедии о суммировании говорится, что эквивалентная операция в Haskell должна использовать foldl . У меня вопрос: есть ли причина, по которой он говорит использовать это вместо sum ? Один «пурист» больше, чем другой, или нет реальной разницы?

Answer 1

foldl - это общая хвостовая рекурсивная функция сокращения. Рекурсия - это обычный способ управления списками элементов в функциональных языках программирования, который предоставляет альтернативу итерации цикла, которая зачастую гораздо более элегантна. В случае функции сокращения, такой как fold, хвостовая рекурсивная реализация очень эффективна . Как объяснили другие, sum - это просто удобная мнемоника для foldl (+) 0 l.

Предположительно, его использование на странице википедии служит для иллюстрации общего принципа суммирования через хвостовую рекурсию. Но поскольку библиотека Haskell Prelude содержит sum, что короче и более понятно для понимания, вы должны использовать это в своем коде.

Вот хорошее обсуждение функций Haskell fold с простыми примерами, которые стоит прочитать.

Answer 2

Я не вижу, где говорится о Haskell или foldl на той странице Википедии, но sum в Haskell - это просто более конкретный случай foldl. Это может быть реализовано так, например:

sum l = foldl (+) 0 l

Что может быть уменьшено до:

sum = foldl (+) 0

Answer 3

Стоит отметить, что сумма может быть ленивее, чем хотелось бы, поэтому подумайте об использовании foldl '.

Answer 4

Как утверждают другие, нет никакой разницы. Тем не менее, суммированный колл легче читать, чем фолд колл, поэтому я бы выбрал сумму, если вам нужно суммирование.

Answer 5

Концепция суммирования может быть распространена на нечисловые типы: все, что вам нужно, это что-то эквивалентное операции (+) и нулевому значению. Другими словами, вам нужен моноид . Это приводит к функции Haskell "mconcat", которая возвращает сумму списка значений моноидного типа. Конечно, значение по умолчанию «mconcat» определяется в терминах «mappend», что является плюсовой операцией.

Answer 6

Разницы нет. На этой странице просто говорится, что sum реализовано с использованием foldl. Просто используйте sum всякий раз, когда вам нужно вычислить сумму списка чисел.