Знай и люби монаду IO

[deni_ok]

Устно вычислите значения побочные эффекты выражений и проверьте результат в GHCi:

let x = print "first" in print "second"

let x = print "first" in x >> print "second"

(\x -> print "first") (print "second")

print "first" `seq` print "second"
(Значения тоже можете вычислить в качестве бонуса:)

Comments

[bravit]

С seq ошибся…

[deni_ok]

Ради этого всё затевалось :)

[ext_714455]

Аналогично, только я что-то не до конца понимаю почему вычисление 'print "first"' до HNF не дало сайд-эффекта?

[nponeccop]

Грубо говоря, потому что сайд-эффекты производит runIO в рантайм-библиотеке, а вычисление "print first" лишь вычисляет, какой эффект надо произвести. Всё, что не попадает в runIO, не производит эффектов, независимо от того, вычисляется или нет.

Для полноты картины нужны ещё примеры с unsafePerformIO