CD
бля как вы к монаде пришли
Size: a a a
2020 August 04
CD
каждый рак в этом чате уже знает, что монада это моноид в категории эндофункторов
CC
Пусть есть некоторое M[_], pure, flatMap, такие что pure(a).flatMap(f) = f(a), fa.flatMap(_.pure) = fa и mf.flatMap(f).flatMap(g) = mf.flatmap{x => f(x).flatmap(g)}
Уже можно доебываться?
AD
А он знает что такое моноид, что такое категория что такое эндо и что такое функтор
AD
Уже можно доебываться?
Да можно, это не теоркатная монада
CD
Разумеется, моноид это полугруппа с единицей
AD
Это монада из хасклея и скалы
CC
Да можно, это не теоркатная монада
Заебись, у каждого по монаде
CC
AD
Что ты хотел, ты не можешь закодить категорию
/¯
бля как вы к монаде пришли
Человеку похоже тяжело понять что такое моноид и категория эндофункторов, вот и придумывает на ходу
CC
Ну так обьекты типа "Монада" в хаскелле и скале являются имплементациями математической модели "Категорная монада", и насколько мне известно выразительность этих языков позволяет произвести перенос этой сущности с долей детализации близкой к предельно возможной
AD
Категорная монада это не то же самое что и ФП монада
CC
Так что вполне себе можно рассуждать о монадах из теорката и "монадах в хаскелле и скале" как об одних и тех же сущностях
CC
Категорная монада это не то же самое что и ФП монада
Можешь доказать?
AD
Ну во первых раз https://stackoverflow.com/questions/48485660/is-hask-even-a-category
CC
Ну во первых раз https://stackoverflow.com/questions/48485660/is-hask-even-a-category
Мне неинтересно читать ответы ноунеймов на SO
CD
Мне неинтересно читать ответы ноунеймов на SO
Ты кстати там с плюсами-то накодился, я забыл?
AD
Зато интересно читать собак в тг
CC
Ты кстати там с плюсами-то накодился, я забыл?
Да, доделали смсц уже