Телеграмм чат группы haskellru страница 16478

почему?

19:20пожаловаться #1

Nick Ivanych in Haskell

Самое время дать ссылки.

19:20пожаловаться #2

Foldable это про конвертацию в список, собственно и свертка будет списка, поэтому вся структура забудется при свертке

а уже даже катаморфизм структуру знает прекрасно

19:21пожаловаться #3

ну простой пример, как фолдаблом свернуть

data X a = A a | B a

обратно в то же самое значение что и было?

19:22пожаловаться #4

Nick Ivanych in Haskell

Ну я попытался дать аналогии к чему-то известному и понятному.

19:22пожаловаться #5

собственно я считаю что это как раз у фолдабла максимально кривое название, и никакого отношения к свертке фолдабл не имеет

19:23пожаловаться #6

я бы назвал фолдабл как-нибудь типа

class AsList f where
toList :: f a -> [a]

или Universe, по аналогии с юниплейтом

19:24пожаловаться #7

ЗП

если бы там только foldr был, то это как раз cata, но только в другой сигнатуре

19:24пожаловаться #8

да что ты говоришь

19:25пожаловаться #9

ну вот давай сделаем наш Foldable кастомный где есть только foldr

19:25пожаловаться #10

class Foldable f where
foldr :: b -> (a -> b -> b) -> f a -> b

data X a = A a | B a
instance Foldable X where
foldr n c (A a) = c a n
foldr n c (B b) = c b n

сделай теперь мне через этот foldr функцию

idX :: A a -> A a

idX (A 1) == A 1
idX (B 1) == B 1

19:26пожаловаться #11

через cata это уже как раз тривиально делается, а раз Foldable с foldr это как раз cata, то жду от тебя решения

19:27пожаловаться #12

ЗП

ладно, раз ты такой дотошный, то cata это более общее, чем foldr и закрывает его возможности полностью

19:28пожаловаться #13

про что и речь, Foldable никакого отношения к свертке структуры под аргументом не имеет, он сворачивает только и только списки, а не то что там у него аргументом указано

19:29пожаловаться #14

худший нейминг просто

19:30пожаловаться #15

тут даже нет оправдания как с Monad/Applicative/Monoid, это просто какой-то чувак решил выпендриться и назвать класс "конвертируемый в список" как Foldable, чтобы новичкам было сложнее понимать

19:30пожаловаться #16

ЗП

был один разговор, что Foldable нафиг не нужен и их перекрывает RS полностью и более правильно оставить его

19:31пожаловаться #17

ЗП

так то можно и про Traversable сказать