TK
IO просто переносит грязную работу на рантайм
Size: a a a
2021 April 27
DS
Нет, IO - это как раз способ обеспечить ссылочную прозрачность
DS
И IO - совершенно ссылочно прозрачный сам по себе
IL
Ну тогда выходит, что GCC, как продукт, несовместим ни с каким кодом под GPL вообще :)
TK
Он обеспечивает ссылочную прозрачность, перенося грязную работу на рантайм
TK
Один из двух плюсов IO - его видно в сигнатуре
DS
Он не переносит грязную работу на рантайм, IO подобный тип ты можешь даже в расте написать без всякого рантайма
TK
Другой плюс - IO нельзя вызывать не из IO
ΑZ
э, ват?
ΑZ
поэтому у меня в C# коде нет сеттеров да?
DS
И ты посмотри как IO в хаскеле устроен, тут даже в этом чате пару дней назад было обсуждение на эту тему.
ΑZ
ну во-первых можно.
во-вторых ехал ИО через ИО это не очень удобно
во-вторых ехал ИО через ИО это не очень удобно
DS
Там никакой особой магии даже нет
ΑZ
нужна гранулярность эффектов
ΑZ
ну и банальный do
DS
Ну do есть в фшарпе
DS
Там нету возможности сделать композабельные так или иначе эффекты - это да
TK
Сравним IO с рецептом. Рецепт ничего не делает. Кто тогда исполняет рецепт? Не рантайм? Значит, программа не запущена?
p
Я кстати до сих пор не знаю как сравнивать правильно значения в шарпе
p
Хороший язык