purescript中的Eff-monad是否受到www.eff-lang.org的启发？

Question

阅读有关Eff语言的内容,我想知道是否有类似的想法已经在使用中.Eff-Language提到了一篇名为"推断代数效应"的论文,该论文描述了Eff用于推断效果的算法.有相似之处吗？

Answer 1

当我用PureScript编写效果系统时,我意识到了Eff,所以你可能会说它受到它的启发.另一个灵感来源是Koka编程语言,特别是论文"Koka:使用行多态效应类型编程".鉴于PureScript已经有用于处理记录的行类型,因此尝试将其重新用作效果系统是有意义的.

PureScript使用一个名为Eff(无关系!)的效果monad 来处理"本机"效果(即运行时系统提供的效果,而不是像在Haskell中使用monad变换器建模的"userland"效果).Eff很像Haskell IO,但是由一系列效果类型改进.因此,PureScript中基于行的效果的路径非常简单 - 我们只需要允许行包含除了其他类型的类型*.