AZ
Так наверное бак+мага
скорее 2 бигмака
Size: a a a
2020 August 04
CC
И что такое "контейнер для категории" в терминах теории категорий(или в какой терминологии ты выстраиваешь свою речь?)?
AD
У тебя видимо альтернативное определение термина "категория"
AD
У тебя есть то над чем монада
AD
У тебя есть её условные юнит/пюр и бинд/флатмап
CC
Что-то корявенькое определение какое-то
CC
Давай как-то аля "Монада это ..."
AD
У тебя есть лефт, райт идентити и ассоциативити
AD
Все это даёт тебе монаду
CC
У меня есть подозрение, что ты просто прочитал набор этих слов где-то
AD
Или, можно соорудить из меньшего числа кусков
CC
"Монада это ..." - продолжите
CC
Я очень плохо соображаю, когда мне доносят определения в бытовых терминах "Вот это вот тут есть, и еще вот тут шняга такая, крч вот монада". Формальные определения лучше подходят
/¯
У тебя есть лефт, райт идентити и ассоциативити
Эвривоне степ ту зе лефт,
Эвривоне степ ту зе райт,
Нау те зе лефт,
Нау ту зе лефт,
Нау ту зе райт,
Нау ту зе райт,
Битч
Эвривоне степ ту зе райт,
Нау те зе лефт,
Нау ту зе лефт,
Нау ту зе райт,
Нау ту зе райт,
Битч
/¯
Даже beatsaber fitbeat lyrics содержательнее такого "определения" монады
CC
Да, welcome to холиварка
AD
Пусть есть некоторое 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
Тогда M, pure, flatMap и пруфов что 1,2,3 верны это и есть монада
CC
Чет кек