AZ
если в рантайме работает совершенно другая программа а не та которую я запускал, то зачем ссылочная прозрачность?
потому что ты пишешь ту программу, которую пишешь
Size: a a a
2020 April 01
AZ
говор юеще раз
AZ
хочешь понять лучше: сделай ИО в расте
AZ
все вопросы отпадут
p
увидел
sqr :: Int -> IO Int, понял что функция говнос таким же успехом вводишь в язык метку IO и все
AZ
серьезно
DS
если в рантайме работает совершенно другая программа а не та которую я запускал, то зачем ссылочная прозрачность?
У тебя и в расте запускается совершенно другая программа, чем ты написал
AZ
с таким же успехом вводишь в язык метку IO и все
это и есть метка ИО
p
и без всяких ду нотаций
AZ
а do нужно чтобы метка была несмываемая
D
ду блок это как ансейф в расте
на уровне "монада - это буррито"
AZ
чтобы ты не мог "выйти" из ИО
AZ
на уровне "монада - это буррито"
примерно. Я не знаю как еще объяснить что без ссылочной прозхрачности в ио хаскель не нужен
p
У тебя и в расте запускается совершенно другая программа, чем ты написал
компилятор гарантирует что результат компиляции будет соответсвовать исходному коду
DS
компилятор гарантирует что результат компиляции будет соответсвовать исходному коду
И здесь точно так же
p
а тут компилятор прямо лезет в код и меняет его
D
Не компилятор, а рантайм
p
Не компилятор, а рантайм
то есть после запуска .exe файла происходит замена?
D
Происходит исполнение ио
p
ну вот, исполняется какое-то ио, а я заказывал возврат ссылочно прозрачного значения