Idris의 효과에 대한 Edwin C. Brady의 “대수적 효과 및 종속 유형을 사용한 프로그래밍 및 추론” 논문 에는 다음과 같은 (참조되지 않은) 주장이 포함되어 있습니다.
비록 [효과와 모나드 변환기]가 전력면에서 동등하지는 않지만-모나드와 모나드 변환기는 더 많은 개념을 표현할 수 있습니다. 많은 일반적인 효과적인 계산이 포착됩니다.
모나드 변환기로 모델링 할 수 있지만 효과는없는 예가 있습니까?
답변
연속은 CPS를 사용하여 모나드로 모델링 할 수 있지만 Lawvere 이론을 사용하여 모델링 할 수 없기 때문에 대수 효과가 아닙니다. Martin Hyland와 John Power, 2007, The Category Theoretic Understanding of Universal Algebra : Lawvere Theories and Monads (pdf) , ENTCS 172 : 437-458을 참조하십시오.
