functional-programming - 「エフェクトよりも強力なモナドトランスフォーマー」 - 例?

Question

Edwin C. Bradyによる Idris の効果に関する論文「代数効果と従属型を使用したプログラミングと推論」には、次の (参照されていない) 主張が含まれています。

[効果とモナド変換子] は力が同等ではありませんが — モナドとモナド変換子はより多くの概念を表現できます — 多くの一般的な効果的な計算がキャプチャされます。

モナドトランスフォーマーによってモデル化できるが、効果ではモデル化できない例は何ですか?

Answer 1

継続は、CPS を使用してモナドとしてモデル化できますが、Lawvere 理論を使用してモデル化できないため、代数効果ではありません。Martin Hyland and John Power, 2007, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (pdf) , ENTCS 172:437-458 を参照してください。