반응형
"효과보다 더 강력한 모나드 트랜스포머"-예?
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을 참조하십시오.
참고 URL : https://stackoverflow.com/questions/31335805/monad-transformers-more-powerful-than-effects-examples
반응형
'code' 카테고리의 다른 글
| dequeueBuffer : 버퍼 수를 설정하지 않고 여러 버퍼를 대기열에서 빼낼 수 없습니다. (0) | 2020.10.15 |
|---|---|
| SWIG의 새로운 내장 기능과 함께 pythonappend를 사용하는 방법이 있습니까? (0) | 2020.10.15 |
| SRC, OBJ 및 BIN 하위 디렉토리가있는 C 프로젝트 용 Makefile을 어떻게 만들 수 있습니까? (0) | 2020.10.15 |
| Mavericks로 느린 IOS 시뮬레이터 (0) | 2020.10.15 |
| 실행 중 셸 스크립트 편집 (0) | 2020.10.15 |