I
Всем привет. Небольшой нубский вопрос (если пошлёте смотреть видеокурсы в описании, я пойму), но мало ли.
Как адекватно перевести class constraint?
Как адекватно перевести class constraint?
Size: a a a
2017 December 07
e
ограничение накладываем на тип для класса
I
Действительно. Спасибо большое)
VY
хм, интересно почему в https://wiki.haskell.org/Foldr_Foldl_Foldl%27 не упоминается про
foldr'VY
мб он был добавлен позже, чем была написана эта статья
я думаю
я думаю
foldr' гораздо чаще пригождается, нежели foldl'ZK
Просто он не особо нужен, наверное
VY
ну там такая аргументация за выбор
1) When the list to which it is applied is large, but definitely finite, you do not care about the implicit reversal, nd you seek to improve the performance of your code
2) When you actually do want to reverse the order of the list, in addition to possibly performing some other transformation to the elements
foldl':1) When the list to which it is applied is large, but definitely finite, you do not care about the implicit reversal, nd you seek to improve the performance of your code
2) When you actually do want to reverse the order of the list, in addition to possibly performing some other transformation to the elements
VY
т.е.
foldr' позволяет избежать ограничения 1го пункта, а конкретно "you do not care about the implicit reversal", поэтому он вроде бы как должен находить больше примений (хотя не уверен, что можно такой вывод сделать)AP
Вот даже сходу не придумаю, когда мне мог бы понадобиться строгий foldr
VY
foldTree :: [a] -> Tree a
foldTree = foldr' insert Leaf
VY
если очень много их
AP
Он же WNF возвращает сразу. Поэтому стогость тут от самого аккумулятора идёт
AP
У foldl то понятно, это вызов себя + санк с отложенным примением операции. Тут есть что форсить.
AP
Если хочется энергично собрать дерево - зачем кстати? - то м.б. нужно просто строгое дерево?
VY
Вот даже сходу не придумаю, когда мне мог бы понадобиться строгий foldr
ну т.е. вот во всех тех же случаях, что и строгий
foldl, только без implicit reversalVY
Если хочется энергично собрать дерево - зачем кстати? - то м.б. нужно просто строгое дерево?
ну это надуманный пример (задачка из cis194), просто лень было придумывать нормальный кейс
AP
foldr в других контекстах применяют же - стримы, вот это всё
AP
нет никакого "неявного разворачивания". Список всегда с головы обходится
VY
а как же
foldl' (flip (:)) []==reverse?AP
Меняешь порядок операндов внутри функции свёртки и всё. Ибо если свёртки энергичные, то
foldr' ~ foldl' с точностью до порядка аргументов функции сворачивания