p
Потому что оно по опредедниею чистоты - чистое. Буквально по формальному определению.
формально чистое, по факту - нечистое
Size: a a a
2020 April 23
AZ
формально чистое, по факту - нечистое
по какому факту лол
p
по факту ио происходит
AZ
по факту ио происходит
в хаскель коде - нет, ен происходит
A
ты офк не читаешь что я на хабре пишу, но я там писал пример как я на 4 часа поломал прод потому тчо 2 строчки кода местами поменял и всё развалилось
Где это на хабре было описано?
p
в хаскель коде - нет, ен происходит
в коде ио никогда не происходит, только в рантайме
AZ
Где это на хабре было описано?
AZ
в коде ио никогда не происходит, только в рантайме
рантайм это другйо язык, на него плевать лол
AZ
грубо говояр программа на хаскелле генерирует программу на си
p
рантайм это другйо язык, на него плевать лол
тогда для других языков справедливо то же самое, не?
AZ
офк программа на си нечистая, нам насрать ток
AZ
тогда для других языков справедливо то же самое, не?
нет
DS
формально чистое, по факту - нечистое
Мы говорим про формальные свойства программ, тут именно формальные вещи и имеют значение.
AZ
я не могу вд ругом языке написать
let x = print "Hello' чтобы принт ен вывелся на экранp
я не могу вд ругом языке написать
let x = print "Hello' чтобы принт ен вывелся на экранfn print<T>(x: T) -> Fn(T) {
|| println!(x)
}
|| println!(x)
}
AZ
fn print<T>(x: T) -> Fn(T) {
|| println!(x)
}
|| println!(x)
}
ну вот это уже ио. Теперь напиши всю программу в таком стиле, напиши в мейне вызов экзекутора всей этой штуки, и получишь +- то что делает хаскель
AZ
ты ведь понимаешь почему print чистый?
p
да
AZ
вот и ИО в хаскелле по той же причине чистое
p
но в хаскеле print возвращет IO () а не функцию