AP
Size: a a a
2021 December 09
Д
Только зачем тут get и put?
AP
можно через
state, даД
let (a,w) = runWriter m in state $ \s -> (a, s `mappend` w)AP
get и put тоже через state могут быть реализованы
2021 December 10
D
ребят, у меня вопрос за который можно поплатиться жизнью в чате с хаскеллистами, но
допустим у меня определён новый тип
а теперь хочу чтобы список [Identity] тоже можно отмапить
какой инстанс нужно для него написать?
допустим у меня определён новый тип
data Identity a = I a
я определяю для него инстанс функтора, чтобы разворачивать данный тип до ближайшего типа, уже имеющего функторinstance Functor Identity where
...
я определяю для него инстанс аппликатива для последовательной аппликацииinstance Applicative Identity where ...а теперь хочу чтобы список [Identity] тоже можно отмапить
какой инстанс нужно для него написать?
GP
композиция функторов подойдет?
GP
либо просто можно написать fmap . fmap
D
я не понимаю как двухаргументную функцию спаивают с двухаргументной
GP
либо так
GP
в функции у фмапа у вас может быть другой фмап, который залезет в следущий функтор
GP
а проблема отдельного инстанса для функтора [Identity] в том, что уже есть более общий инстанс функтора для [a]
D
а можете показать именно композицию fmap . fmap?
GP
(fmap . fmap) (+1) a
D
спасибо большое!
GP
но лучше писать то, что выглядит для вам более читабельным)
D
да вот как раз-таки я и хотел понять как можно сделать композицию из n-арных функций
AP
так это не она