Знай и люби монаду 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

[nponeccop.livejournal.com]

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

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