functional-programming - “Monad 转换器比效果器更强大” - 例子？

Question

Edwin C. Brady 关于 Idris 效果的论文“使用代数效应和相关类型进行编程和推理”包含（未引用的）声明：

尽管 [效果和 monad 转换器] 在功率上不等价 - monad 和 monad 转换器可以表达更多概念 - 捕获了许多常见的有效计算。

有哪些示例可以由单子转换器建模但不能由效果器建模？

Answer 1

延续可以使用 CPS 建模为 monad，但它们不是代数效应，因为它们不能使用 Lawvere 理论建模。参见 Martin Hyland 和 John Power，2007，通用代数的范畴理论理解：Lawvere 理论和单子 (pdf)，ENTCS 172:437-458。