haskell - FRP框架和IO

Question

我刚刚在 Haskell 中研究了 FRP(主要是 reactive-banana (推荐!))，我想知道它们对它们来说是否常见，如果是reactive-banana，那么它的作用是什么？为什么要在 IO monad 中操作，而不是受限于 MonadIO，或者更好的是，任何 Monad (以便我可以提供自己的堆栈)？

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

Answer 1

如果你问为什么

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

期望事件的值类型为IO ()，而不是允许使用实例 MonadIO M 的自定义 monad M ()，然后答案是这样的:

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

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