Tag: 汞

除Monad外，还有哪些其他方式可以用纯粹的function语言来处理？

于是我开始把头围绕Monads（在Haskell中使用）。 我很好奇IO或状态可以用纯粹的function语言（理论上还是现实上）处理的其他方式。 例如，有一种叫做“水银”的逻辑语言，它使用“效应types”。 在像Haskell这样的程序中，效果types的工作将会如何？ 其他系统如何工作？