问"Monad变压器比效果更强大“-例子？
EN

Stack Overflow用户

提问于 2015-07-10 08:19:25

回答 1查看 2.6K关注 0票数 82

关于Idris中的影响的论文“Edwin C. Brady的“具有代数效应和依赖类型的编程和推理””包含了(未引用的)断言：

虽然效果和单台变压器在功率上不是等价的-单台和单台变压器可以表达更多的概念-许多常见的有效计算被捕获。

有哪些例子可以由单台变压器模拟，而不是效果？

发布于 2015-09-06 12:47:29

连续性可以用CPS建模为monads，但它们不是代数效应，因为它们不能用Lawvere理论建模。见Martin和John，2007年，广义代数的范畴理论理解: Lawvere理论与Monad (pdf)，ENTCS 172:437-458.

票数 10

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/31335805

复制

相似问题

问"Monad变压器比效果更强大“-例子？EN