AZ
Потому что в мейн у тебя возвращаемая функция нечистая, а Эвил сама нечистая
ну так ИО сделан для того, чтобы вся нечистота была ВНУТРИ него, а не снаружи, как в случае эвила
Size: a a a
2020 June 22
AZ
и одно это разделение уже полезно
p
Да ио полезно, никто не спорит
AZ
в итоге haskell_main - чистый, потому что он возвращает ЧИСТОЕ значение - структурку IO. То что интерпретация этого ИО через unsafe_perform - грязное, никто ж не спорит, но это происходит ВНЕ нашего кода, в haskell_runtime, который писали умные чуваки и которы можно
AZ
в НАШЕМ коде такого не происходит
AZ
поэтому мы и имеем право считать всё это чистым
AZ
а дальше - бинды, не бинды, <- или нет - haskell_main остаётся чистым
AZ
что с ним не делай
AZ
вся нечистота только в исполнении ИО которое делаем не мы
p
Неа, он грязный потому что возвращает грязную функциб
AZ
возврат описателя грязной функции - это чистая функция
AZ
точно так же как возврат строки
foo :: "SELECT * FROM TABLE" это чистая функцияAZ
а её интерпретация возможно и не очень
AZ
просто ИО чутка сложнее чем движок БД, и ему нужны не строчки, а лямбды
AZ
но смысл остается
AZ
функция возвращает некоторый простойо писатель что делать
AZ
а как это интерпретировать решаешь ты
AZ
хаскель рантайм вот интерпретирует исполнением
r
Сколько месяцев это уже длится?
AZ
а другой рантайм может по-другому сделать, например проанализировать граф выполнения, ничего реально не выполняя