任何人都可以给出一些指针,说明为什么Haskell中的不纯计算被建模为monad？
我的意思是monad只是一个有4个操作的界面,那么建模副作用的原因是什么呢？
monads haskell functional-programming
functional-programming ×1
haskell ×1
monads ×1