purescript - 什么是 Eff 和 A​​ff？

Question

Purescript 类型之间有什么关系 Eff 和 Aff ?可以在它们之间转换吗？

我刚开始使用来自 Haskell 的 Purescript，似乎这两种类型都大致扮演了 IO 的角色。在 Haskell 中有。这样说公平吗？

Answer 1

Eff是一个同步效果单子(monad)。它用于对有效的外部 JavaScript 代码进行排序——例如随机数生成、读取和写入可变值、写入控制台以及抛出和捕获异常。
Aff是一个异步效果单子(monad)。它可以处理和排序有效的异步代码，例如 AJAX 请求、超时以及网络和文件 IO。它还可以通过使用liftEff 来执行同步效果。 .它还提供了一种很好的错误处理机制。

可以从 Eff 转换至Aff使用 liftEff (所有不暂停的东西都是允许暂停的东西的一个实例)，但一般来说，另一个方向是不可能的。 Aff可以在 Eff 中运行操作上下文通过提供回调。

Haskell 的 IO与两者相似，但更接近 Aff比 Eff在那IO Action 可以表示异步事物(例如，参见 threadDelay)。