haskell - Monadic 杂质和 Haskell 纯度。它们是如何结合的？

Question

monad 构造如何帮助保持纯度(在 Haskell 中)，同时做不纯粹的事情？例如，当您给出 print "Hello" 时，您执行的是纯代码还是不纯代码？这是一个非常微妙的细节，但有助于更好地理解函数式语言中的纯度和杂质的概念。

Answer 1

表达式

print "Hello"

确实很纯粹。因为它不打印任何内容，而是构造一些在执行时打印“Hello”的东西。

这是一个类比:

一个和尚在一张纸上写下:

Go to a bordell and do filthy things with the prostitutes there.

仅仅因为这位和尚写了通奸的指示，我们就可以指控他通奸吗？