p
пройди второй курс москвина по хачкелю, потом рассуждай про эффкты. А то ты базовых монад не знаешь
"сначала добейся"
Size: a a a
2020 September 02
ΑZ
это больше похоже на типизированный глобальный стейт
ΑZ
"сначала добейся"
нет, просто это как танк который рассуждает про ФП не зная что такое <$>
ΑZ
бесполезный спор
p
тем не менее доступ к внешнему окружению (это Reader) являетяс эффектом
Ещё раз в коде сайд эффектов нет, просто бинды монад
ΑZ
Ещё раз в коде сайд эффектов нет, просто бинды монад
я говорю не про то что монады че-то делают
ΑZ
а про то что Reader как и куча других эффектов нельзя описать твоим флоуанализатором с тегом OUTPUT
p
а про то что Reader как и куча других эффектов нельзя описать твоим флоуанализатором с тегом OUTPUT
Добавляешь другой тег
p
Свой
ΑZ
Добавляешь другой тег
ты предлагаешь весьма костыльное решение где компилятор должен специальным образом трактовать какие-то теги
ΑZ
мне кажется что получается ерунда
p
Ну вот представь что в расте есть возможность создавать свои блоки типа unsafe только IO { }, Console { } и т.п.
ΑZ
я молчу про то что флоу анализатор такого размера просто сдохнет
ΑZ
в сишарпе например флоу анализатор нулляблов ограничивается одной функцией
p
ты предлагаешь весьма костыльное решение где компилятор должен специальным образом трактовать какие-то теги
Нет, все укладывается в систему типов
ΑZ
Нет, все укладывается в систему типов
каких типов? у тебя функция int -> int, как ты узнаешь что она в консоль пишет?
A
p
каких типов? у тебя функция int -> int, как ты узнаешь что она в консоль пишет?
Для хаскеля то же самое верно, не всегда можно узнать если делать unsafePerformIO
SP
царю я показывал эту пикчу неоднократно