Д
так ведь он справа работает
а слева работает foldl
а слева работает foldl
Size: a a a
2021 October 22
JS
нет, foldr работает слева так, как будто скобки расставлены справа
JS
но в реальности никаких скобок нет, есть только консы (:) на входе и аппликации на выходе
JS
впрочем, это не сильно важно для понимания свёрток. давайте считать, что foldr расставляет скобки справа
AP
обе свёртки работают, отделяя голову списка от хвоста. Отличается то, как они эту голову используют, и то, как они рекурсивно вызывают себя
Д
это же то же самое, что работа с конца
JS
ну и там не совсем id получается. а функция, эквивалентная id по получаемому результату, но foldr (:) [] работает за O(n), в то время как id за O(1). @ceguan почему такая разница?
AP
Работа с конца сделала бы невозможной обработку с помощью foldr бесконечных списков :)
Д
foldr переберет все элементы, id их не смотрит?
JS
нет. не знаю, что вы понимаете под "работа", но при любом толковании нет
JS
Д
как же тогда это понимать
ЗП
Ибо через фолдр это именно реконструктор
JS
как вычисление, например. а парядок вычисления — это лень
JS
ты не ученик
Д
сложно
JS
следующий уровень: опишите, что вычисляет
foldr (:) и почему. подсказка: попробуйте foldr (:) "hello" "world" в реплеD
Prelude> foldr (\x y -> concat ["(",x,"+",y,")"]) "0" (map show [1..13])
"(1+(2+(3+(4+(5+(6+(7+(8+(9+(10+(11+(12+(13+0)))))))))))))"
Prelude> foldl (\x y -> concat ["(",x,"+",y,")"]) "0" (map show [1..13])
"(((((((((((((0+1)+2)+3)+4)+5)+6)+7)+8)+9)+10)+11)+12)+13)"