functional programming - "Transformadores de mónada más potentes que los efectos"-¿Ejemplos?

functional-programming monads

Question

El documento "Programación y razonamiento con efectos algebraicos y tipos dependientes" de Edwin C. Brady sobre los efectos en Idris contiene la afirmación (sin referencia) de que:

Aunque [los efectos y los transformadores de mónada] no son equivalentes en potencia, las mónadas y los transformadores de mónada pueden expresar más conceptos, se capturan muchos cálculos efectivos comunes.

¿Qué ejemplos hay que puedan ser modelados por transformadores de mónada pero no por efectos?

Answer 1

Las continuaciones pueden modelarse como mónadas, utilizando CPS, pero no son efectos algebraicos ya que no pueden modelarse utilizando las teorías de Lawvere. Ver Martin Hyland y John Power, 2007, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (pdf) , ENTCS 172: 437-458.