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