АГ
Вообще, у меня статья-детектор, конечно
Size: a a a
2020 July 03
AA
это правило бы как-то энфорсилось, если бы тех кто это не делает просто серьезно не воспринимали, но раз обычно этого не делают - приходится серьезно воспринимать всех подряд, а если всех серьезно воспринимают и так - ниче доказывать не надо, делать нечего штоле?
AA
Вообще, у меня статья-детектор, конечно
детектор академика?
АГ
детектор академика?
Пока не знаю, возможно что и да
A
это правило бы как-то энфорсилось, если бы тех кто это не делает просто серьезно не воспринимали, но раз обычно этого не делают - приходится серьезно воспринимать всех подряд, а если всех серьезно воспринимают и так - ниче доказывать не надо, делать нечего штоле?
хвост виляет собакой, вот же выверт, а всему виной серьёзность восприятия
АГ
опять же я не понимаю что нового в вкладывании фри монад?
есть и более сильная абстракция это взаимнорекурсивность без рекурсивности применяя высшие неподвижные точки
но мне все равно не понятно в чем ноу хау нестед фри монад?) это же очивыдные факты
есть и более сильная абстракция это взаимнорекурсивность без рекурсивности применяя высшие неподвижные точки
но мне все равно не понятно в чем ноу хау нестед фри монад?) это же очивыдные факты
Новое то, что подход описан по-человечески, для обычных смертных, со всех сторон. И еще доказана его полезность
ЗП
Новое то, что подход описан по-человечески, для обычных смертных, со всех сторон. И еще доказана его полезность
доказана?
A
доказана?
факт внедрения в Juspay
АГ
доказана?
Показана по крайней мере. Не доказана в смысле математики
AA
выжил таки вершилова гранин
ЗП
выжил таки вершилова гранин
так состояние Гранина дискретное, он то заходит, то выходит отсюда
AA
но и такого состояния оказалось достаточно чтоб выжить вершилова.
AL
Ммм, опять всемирный заговор математиков с целью дискредитировать хаскель как альтернативу Java и все запутать
AL
Люблю такое
АГ
О да! Конспирология наше все!
AL
(Это я отвечаю на то что было 600 сообщений назад; последние 600 не читал)
MK
мда.
YS
MK
I don't get the () -> next there because it's isomorphic to next.