有什么方法可以恢复足够的懒惰，让你在monad中喜结连理？

Question

我想用tying the knot写一段圆滑的代码(节省了我很多实现的时间)。大致是这样的，

n <- myinstr n x

从理论上讲，myinstr应该运行x来获取一个值，该值将变成n。在State monad中运行的myinstr将使n进入状态，但这不会影响x的计算。

我尝试过使用DoRec和mfix的一个简单实现，

instance Monad  => MonadFix (MyMonad ) where
    mfix f = fix (\mx -> mx >>= f)

但一切都冻结了。有没有什么方法可以修复我的代码(或者第一次正确设计代码的方法)，或者我应该写一些更简单的东西？

Answer 1

没有一种通用的方法可以使任意的monad成为MonadFix的实例。实际的代码取决于monad，甚至不可能对所有monad都是如此。您可以查看各种monad来了解它是如何完成的。如果您的monad实际上是State，那么应该已经有一个实例了。