haskell - 加入嵌套 Monad

Question

我正在使用FRP.Sodium我有一个 IO (Behavior (IO (Behavior))) 类型的对象。我需要将该对象转换为类型 IO (Behavior) ，使用类似于嵌套 join 的东西。使用钠函数可以实现这一点吗？ a (b (a (b c))) -> a (b c)) 有更通用的解决方案吗？ ？

Answer 1

没有明显的方法可以做到这一点。您可以使用 sample 等函数将正确类型的东西拼凑在一起。和 sync或updates和 executeSyncIO/executeAsyncIO ，但它可能不遵守 Monad 法则。

对于 a (b (a (b c))) -> a (b c)) 没有更通用的解决方案，但如果 b 是Traversable ，它可以让您将内容重新排列为 traversing 的 a (a (b (b c)))外部b。