Functional programming purescript中的Eff单子是否受www.Eff-lang.org的启发？

阅读Eff语言，我想知道是否有类似的想法已经在使用。Eff语言提到了一篇名为“推断代数效应”的论文，该论文描述了Eff用于推断效应的算法。有相似之处吗？

当我用PureScript编写特效系统时，我就知道Eff，所以你可以说它是受它启发的。另一个灵感来源是Koka编程语言，特别是“Koka：使用行多态效果类型编程”一文。鉴于PureScript已经有了处理记录的行类型，尝试将其重新调整用途以用作效果系统是有意义的

PureScript使用一个名为

Eff

（没有关系！）的效果monad来处理“原生”效果（也就是说，运行时系统提供的效果，而不是Haskell中使用monad transformers建模的“用户地带”效果）

Eff

与Haskell的

IO

非常相似，但通过一行效果类型进行了改进。因此，PureScript中基于行的效果的路径非常简单——我们只需要允许行包含类型不同于

*

的类型