ЗП
в каком из изречений?
кстати раз уж трет за фры монады, а чего никто еще не предложил вложенные монады-интерпретатор?
это тот же вариант фри монад, только для gadts
Size: a a a
2020 July 03
МВ
опять же я не понимаю что нового в вкладывании фри монад?
есть и более сильная абстракция это взаимнорекурсивность без рекурсивности применяя высшие неподвижные точки
но мне все равно не понятно в чем ноу хау нестед фри монад?) это же очивыдные факты
есть и более сильная абстракция это взаимнорекурсивность без рекурсивности применяя высшие неподвижные точки
но мне все равно не понятно в чем ноу хау нестед фри монад?) это же очивыдные факты
Про высшие неподвижные точки, взаимнорекурсивность и фри монады
ЗП
а вообще я пока хамлер тыкаю
R
Максим Воротынский
Про высшие неподвижные точки, взаимнорекурсивность и фри монады
МВ
Про неподвижные точки, рекурсию и монады я знаю
МВ
Спасибо
R
там правда не фри монады по-моему, но суть легко транслируется
ЗП
там правда не фри монады по-моему, но суть легко транслируется
так фры монада = фикс + тип сум
R
так фры монада = фикс + тип сум
фри монада = фикс + pure тогда. Суммы не всегда нужны
ЗП
ЗП
фри монада = фикс + pure тогда. Суммы не всегда нужны
фри монада = фикс + идеальная монада
так тогда правильней
так тогда правильней
АГ
> I do not understand what motivation compels people to become so deeply invested in any particular solution that they seem to transform it into a personal religion. Debating these people is often futile, as they will eagerly tell anyone who will listen that they already have all the answers, yet lack the self-awareness to reevaluate their own principles when presented with conflicting evidence. It is possible my characterization of the original author is too extreme and too cynical in this particular case, so I may be reading too deeply into something that isn’t there. But extraordinary claims require extraordinary evidence, and I hope people are perceptive enough to discern when an argument’s unsupported confidence that it is right and the establishment is wrong suggests its author might have something to sell.
Но люди, которые делают что-то, не обязаны доказывать ничего
A
Но люди, которые делают что-то, не обязаны доказывать ничего
не обязаны доказывать, но и отказывать себе в выборе тоже не обязаны..
всегда выбор есть: отвечать или нет в этой или иной ситуации
всегда выбор есть: отвечать или нет в этой или иной ситуации
АГ
не обязаны доказывать, но и отказывать себе в выборе тоже не обязаны..
всегда выбор есть: отвечать или нет в этой или иной ситуации
всегда выбор есть: отвечать или нет в этой или иной ситуации
Или принести ссылку в чатик, чтобы за тебя отвечали другие!
AA
любой утверждающий что-то обязан доказывать это, но обычно этого не делает, конечно
АГ
Меня прогоняют из хаскеллистов 😞
The central thesis of the original work was that composition, the expression problem, and type safety at the level of application structure is not only irrelevant, but undesirable.
The central thesis here, obfuscated as it might be by unnecessary editorialism, is that if those aren't significant concerns for you, you should probably just use some other language / ecosystem and stop writing 18 page manifestos about how to "get real world work done" in Haskell.
The utterly awful format being used to convey that point is, without a doubt, terrible, but the central point is pretty hard to argue with.
The central thesis of the original work was that composition, the expression problem, and type safety at the level of application structure is not only irrelevant, but undesirable.
The central thesis here, obfuscated as it might be by unnecessary editorialism, is that if those aren't significant concerns for you, you should probably just use some other language / ecosystem and stop writing 18 page manifestos about how to "get real world work done" in Haskell.
The utterly awful format being used to convey that point is, without a doubt, terrible, but the central point is pretty hard to argue with.
к
любой утверждающий что-то обязан доказывать это, но обычно этого не делает, конечно
докажи что обязан
AA
докажи что обязан
как обычно не буду
ЗП
любой утверждающий что-то обязан доказывать это, но обычно этого не делает, конечно
это же правило философии, что если что-то утверждаешь в праведности докажи это неверующим