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

[deniok]

Устно вычислите значения побочные эффекты выражений и проверьте результат в 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.livejournal.com]

С seq ошибся…

[deni-ok.livejournal.com]

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

[sergei lebedev (from livejournal.com)]

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

[nponeccop.livejournal.com]

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

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