AZ
но в хаскеле print возвращет IO () а не функцию
IO () это функция, просто в ньютайпе
struct IO<T>(impl Fn() -> T)Size: a a a
2020 April 23
AZ
буквально
p
принт будет чистым пока его не вызовут
AZ
верно. Ио чистое пока ты не вызовешь unsafePerformIO
AZ
(а его не надо вызывать)
AZ
unsafePerformIO вызывает функцию в ньютайпе
p
<- тоже вызов
в расте это было бы ()
разницы нет
в расте это было бы ()
разницы нет
AZ
<- тоже вызов
в расте это было бы ()
разницы нет
в расте это было бы ()
разницы нет
нет, <- это and_then
p
нет, <- это and_then
сахар над () для IO
AZ
fn foo() -> Fn() -> () {
|| {
let _ = print("a");
}
}AZ
чистое или нет?
p
да
p
до тех пор пока не вызываешь возвращаемый результат foo
AZ
до тех пор пока не вызываешь возвращаемый результат foo
ну а ты его никогда не вызываешь, а всю подобную композицию возвращаешь из мейна
AZ
что там за мейном происходит - дело десяте, ты этого никогда не видишь
AZ
на свойства программы оно не влияет
AZ
ты везде можешь два вызова foo() заменить на один и никакой код "вне мейна" который это исполняет поведение не поменяет
p
удобно, но это самообман все же.
AZ
удобно, но это самообман все же.
на уровне хаскелля всё чистое. Рантайм не является частью языка
AZ
ну и если ты согласен что это "удобно", то оценка самообман это или нет это уже философствование из разряда "издает ли падающее дерево звук в лесу в котором никого нет"