Вл
в общем то любое произведение типов можно сделать комонадой и объект под это подходит но интуиция как-то не очень
Size: a a a
2017 December 24
Вл
что-то не очень выходит свести типы
Вл
duplicate store :: Store s (Store s a)
view принимает s
view принимает s
ZK
Elm немного сбивает мозги)
ZK
Вот только я не понимаю, как можно имея только
here и view, получить следующее состояние 😵ZK
или оно тупо возвращает то же самое состояние? В чём тогда смысл?
к
наверное ты услышал это от парня у которого ник раньше часто менялся
че за парень?
к
что-то не очень выходит свести типы
ссылку на пейпер
к
так че за парень? Дима?
Вл
Вл
у него пол года назад было странноватое понимание комонад
Вл
не сказать что у меня лучше (не знаю где их применять и какие есть функции с констрейнтом на комонаду)
Вл
но вроде тогда проскакивала такая же идея на каждый объект лепить комонаду
к
чет пейпер на две страницы даже пейпером назвать нельзя
Вл
ну да 6 рефернсов
к
а, это фримана