p
кстати а как реализован в хаскеле рандом? грязь в компиляторе?
Size: a a a
2020 April 23
DS
Это не вызов функции, же.
foo = do { x <- wat; z <- wan y; return z + 1 } - это wat.flat_map(|x| wan(y).map(|z| z + 1))p
Это не вызов функции, же.
foo = do { x <- wat; z <- wan y; return z + 1 } - это wat.flat_map(|x| wan(y).map(|z| z + 1))ну вот flat_map() вызов функции
AZ
ну вот flat_map() вызов функции
(которая тоже чистая)
AZ
а комбинация чистых функций тоже всегда чистая
DS
ну вот flat_map() вызов функции
Только они ленивые, этот flat_map ничего не сделает, а вернёт что-то типа FlatMap(state => wat(state), x => Map(state => wan(y)(state), z => z + 1))
И никаких вычислений не будет
И никаких вычислений не будет
p
Только они ленивые, этот flat_map ничего не сделает, а вернёт что-то типа FlatMap(state => wat(state), x => Map(state => wan(y)(state), z => z + 1))
И никаких вычислений не будет
И никаких вычислений не будет
а потом ты ее вызовешь через do _ <- foo
AZ
а потом ты ее вызовешь через do _ <- foo
do это флатмап
AZ
флатмап это ду
AZ
запомни уже
AZ
простой факт
DS
а потом ты ее вызовешь через do _ <- foo
И оно в свою очередь вернет FlatMap(state => foo(state), cont => ...)
p
И оно в свою очередь вернет FlatMap(state => foo(state), cont => ...)
ну и в рантайме запустится этот флатмап и вывод сделается
DS
ну и в рантайме запустится этот флатмап и вывод сделается
Но нас волнует не рантайм, а наша программа. В ней функции все останутся ссылчоно прозрачными, потому что они возвращают эти FlatMap"ы, которые не вычисляются при вызове функции возвращаюшей IO
p
Но нас волнует не рантайм, а наша программа. В ней функции все останутся ссылчоно прозрачными, потому что они возвращают эти FlatMap"ы, которые не вычисляются при вызове функции возвращаюшей IO
ну вызовет ее не main, а функция выше, все равно кто-то вызовет. вывод будет потому что он описан в коде. а делать ио ссылочно прозрачным это самообман с непонятной целью.
AZ
ну и в рантайме запустится этот флатмап и вывод сделается
мы пишем программу на хаскелле. То что кто-то её где-то запускает это чистая случайность, и нам это вообще не интересно, рантайм никак не вличяет на свойства программы
AZ
ну вызовет ее не main, а функция выше, все равно кто-то вызовет. вывод будет потому что он описан в коде. а делать ио ссылочно прозрачным это самообман с непонятной целью.
цель в том, чтобы
let foo = print "Hello" не делал вывод на экранAZ
как по мне вполне понятна цель
p
цель в том, чтобы
let foo = print "Hello" не делал вывод на экранну и зачем это?
DS
ну и зачем это?
Чтобы можно было рефакторить код не включая голову на тему того, какой же непонятный побочный эффект может сделать вызов данной функции