VE
там просто слепые были, не философы в общем, не хотел никого обманывать
Size: a a a
2020 August 02
AD
Но это очень веселое занятие
AD
Даже зная его бессмысленность
VK
Ты хочешь сказать - индиректный способ строить контролфлоу?
Я вас непонимат
𝛈µ
EB
Все от того, что решили взять модель вычислений из теории категорий, теперь хрен разберешься, с одной стороны интерфейс с флатмапом, с другой стороны моноид, за что нам все это
VE
В теории категорий же ничего не вычисляется, там просто объекты и стрелочки
AD
Не вычислений
AD
Сопоставили вычисления категорным объектам
EB
вот хаскеллисты пишут
A monad is a way to structure computations
VK
Так я и сказал
AD
Функция - вычисление, но не всякая
VE
Можно ещё определение ввести - монада это такой мем, из-за которого пишутся статьи, тексты, посты, создаются презентации и иногда пишутся программы
AD
Можно ещё определение ввести - монада это такой мем, из-за которого пишутся статьи, тексты, посты, создаются презентации и иногда пишутся программы
В закреп
VK
Как я понимаю, монада должна иметь какой-то эффект. Иначе это id не имеющий прямого смысла. Если же нужна ast монада, то что в ней будет за эффект?
EB
Зачем нужны монады в языке в принципе разобраться можно, но как это сматчить на определение из теорката понимает тока апач
VE
у Бартоша Милевски есть учебник по ТК для программистов
VK
И видосы
VE
Скорее всего там есть что-то на эту тему
VE
Как сматчить