Oℕ
раскол
Size: a a a
2021 June 23
YS
Я, как не шарящий во фримонадах, хочу спросить - а какие есть ещё версии фримонад, если это самая плохая?
[
Библиотечная есть
AA
хорошие, плохие и ужасные
[
О, отсылка к фильму
ЗП
Тут думаю дело в другом, если иерархии свободных монад, то надо все руками менеджить, все интерпретаторы явные и надо их руками вкладывать
YS
Просто что он понимает под "версией"?
YS
Он про иерархичность?
Oℕ
а что у гранина ужасного?
чёрч енкод, континюйэшоны или иерархии
чёрч енкод, континюйэшоны или иерархии
MK
Хорошие
YS
*все другие*
MK
(нет)
DI
принадлежащие императору
ЗП
А какие есть?
Чёрч/Скотт, обобщение бинарного дерева, оптимизация через codensity, дальше уже свободнейшие и их вариации через монаду Cont и ContT
Чёрч/Скотт, обобщение бинарного дерева, оптимизация через codensity, дальше уже свободнейшие и их вариации через монаду Cont и ContT
ЗП
Ещё можно ввести такое понятие как свободная монада это неподвижная точка для идеальной монады
АХ
Надо начать продвигать архитектуру many layers of garbage под лозунгом «зато честно»
YS
продвигаю боринг архитектуру garbage
ЗП
Вот ещё недавно кидал
[
Так её и так уже используют все
АХ
Но стыдятся этого