FRP框架和IO

Question

我刚刚在Haskell中调查FRP（主要是reactive-banana （推荐！）），我想知道它们是否常见，并且在反应性香蕉的情况下，在IO monad中操作的原因是什么，而不是受限制MonadIO ，或者更好，任何Monad （这样我可以提供自己的堆栈）？

在我看来，这是因为专注于GUI编程，你将它与一些在IO中运行的现有库集成？ 是否可以更改它以便我可以将它与自定义monad堆栈集成？

Answer 1

如果你问为什么

reactimate :: Frameworks t => Event t (IO ()) -> Moment t ()

期望一个值为IO ()的事件，而不是允许使用instance MonadIO M的自定义monad M () ，那么答案是这样的：

实际上，自定义monad堆栈仅将状态/读取器/写入器效果添加到基本IO monad。 但是，从理论上讲，完全可以添加协同控制机制，如协程或非确定性。 我不知道如何将组合器accumE产生的内部状态与这些更普遍的影响结合accumE ，我不知道事件在非确定性环境中发生意味着什么。 这就是为什么reactimate限制只限于IO 。

如果您具有状态/读取器/写入器系列的自定义monad堆栈，则通常可以将其映射到纯IO计算并将其与reactimate使用一起reactimate 。 如果您发现这不起作用（我认为可能存在问题），我需要对具体情况进行更详细的描述才能提供帮助。