(
~редьюс, не помню, как в эльме
Size: a a a
2019 September 07
AP
Без HKT нельзя cata/ana/whatever обобщить и написать один раз. А значит нужно будет каждый раз писать по-новой. Что нивелирует всю пользу
AP
Грубо говоря, то, что в языке с HKT можно засунуть в либу один раз, в Elm будет паттерном. Который нужно реализовывать каждый раз
2019 September 11
AK
Уважаемые, подскажите, пожалуйста, что не так я делаю
Так работает
Так ломается
Так работает
treeAna : (a -> TreeF v a) -> a -> Tree v
treeAna alg a =
Tree << treeMap (treeAna alg) <| alg a
Так ломается
treeAna : (a -> TreeF v a) -> a -> Tree v
treeAna alg =
Tree << treeMap (treeAna alg) << alg
AK
По типам проходит, но уходит в бесконечную рекурсию
AK
Поглядел обсуждение по ссылке, забавно
AK
PureScript вроде бы не уходит
AK
0.11 правда, пробовать тут: http://try.purescript.org/
AK
PureScript вроде бы не уходит
Надеюсь, верно транслировал
AK
И вправду не уходит
2019 September 12
AR
2019 September 25
LB
AC
Информация должна быть свободной!
AP
Это решать админам чата, т.е. вам :)