к
Как последовательность шагов
да, это да
Size: a a a
2018 September 21
к
просто функции тут не особо при чем
L
Ну вот мы делаем какой-то pipe и там описываем последовательность шагов
NK
не обязательно и шагов
L
Которые необходимо сделать для получения нужного результата
к
а можем не делать пайп и не делать шаги)
AP
3 фукнкци: of, map и fmap?
Ну плюс еще правила как должны они работать, законы там всякие вроде
map id [1,2,3] = [1, 2, 3]к
под шагами ты понимаешь обновление значения внутри функтора
ЗП
Что значит валидная монада?
это когда душа
к
под шагами ты понимаешь обновление значения внутри функтора
но согласись, что такие обновления - тоже и не суть функтора
AP
Раз уж такая тема зашла. Про монады чатенько говорят, что они нужны для вычислений с эффектом. Например, последовательность запросов на бек и обработка их респонсов. Или операции ввода вывода, когда мы ждем, что пользователь что-то нажмет. А вот где могут пригодиться комонады? У них есть extract и extend. Что это за методы как работают - это понятно. Но зачем они нужны?
ЗП
Раз уж такая тема зашла. Про монады чатенько говорят, что они нужны для вычислений с эффектом. Например, последовательность запросов на бек и обработка их респонсов. Или операции ввода вывода, когда мы ждем, что пользователь что-то нажмет. А вот где могут пригодиться комонады? У них есть extract и extend. Что это за методы как работают - это понятно. Но зачем они нужны?
там где коэффекты?
AP
С понятием коэффектов не знаком...
AP
Это эффект для изменения контекста?
ЗП
вон Фриман написал либу коэффектов где в основе лежит свертка Дея только для row полиморфизма
ЗП
Раз уж такая тема зашла. Про монады чатенько говорят, что они нужны для вычислений с эффектом. Например, последовательность запросов на бек и обработка их респонсов. Или операции ввода вывода, когда мы ждем, что пользователь что-то нажмет. А вот где могут пригодиться комонады? У них есть extract и extend. Что это за методы как работают - это понятно. Но зачем они нужны?
еще есть доклад Фримана про comonadic UI ну и есть доклад Тома (только 20 минут правда, но слайды и код есть)
VY
k
Раз уж такая тема зашла. Про монады чатенько говорят, что они нужны для вычислений с эффектом. Например, последовательность запросов на бек и обработка их респонсов. Или операции ввода вывода, когда мы ждем, что пользователь что-то нажмет. А вот где могут пригодиться комонады? У них есть extract и extend. Что это за методы как работают - это понятно. Но зачем они нужны?