FRP框架和IO

Question

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

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

Answer 1

如果你问为什么

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

期望事件具有 type 的值，而不是IO ()允许自定义 monad ，那么答案是这样的：M ()instance MonadIO M

实际上，自定义 monad 堆栈仅向基本IOmonad 添加状态/读取器/写入器效果。然而，从理论上讲，完全有可能添加像协程或非确定性这样的奇特控制机制。我不知道如何将组合器产生的内部状态accumE与这些更一般的效果相结合，并且我不知道在非确定性上下文中发生事件意味着什么。这就是为什么reactimate被限制为IO.

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