к
хм, чет какой-то странный Co, или я не так инстансы пишу
Size: a a a
2017 December 24
AP
Не получится у тебя так
к
почему? Он вполне работает
AP
У тебя в
m лежит a -> r, ты туда вмапливаешь . (a -> b)AP
как у тебя
m (b -> r) получится?AP
Может я и туплю, канешн
к
У тебя в
m лежит a -> r, ты туда вмапливаешь . (a -> b)а, так смотри, m (a -> r) не хранится в Co
к
он принимается извне
к
"оно компилируется и работает, осталось понять почему"
AP
А, ну да. f будет
(a -> r) -> ..AP
"оно компилируется и работает, осталось понять почему"
Ога, такое бывает :)
к
мне пока сложно понимать эти кметовские штуки и зачем этот Co вообще нужен
AP
Co делает парную монадку для комонады бесплатно
к
ну да, это я понял
AP
Удобно для всяких Zipper'ов, для которых нет пары типа "State <-> Store"
к
я пока не знаю, почему, но это действительно выглядит круто
Вл
вообще не чувствую профита
Вл
почему не
move state store = Store {state = state, view = view state}Вл
если ты и так делаешь ограничение типа на Store а не комонаду