모나드에 대한 절박한 요약. (모나드가 '불순한 계산을위한 유형'인 경우)

Question

간략한 요약의 경우 - this description of Monads seems to win - '불순한 계산을위한 유형'으로 설명합니다.

코모 나드에 대한 동등한 구두 설명 (1 문장)은 무엇입니까?

Answer 1

다음 comonads 대한 간결한 설명이 '타입 인 경우

대안, 모나드위한 더 나은 "간결한 설명"는'출력 불순물 종류별 '수도 "상황에 따라 연산하는 유형" 입력 불순물에 대한.

(당신이 comonads에 관심이 있다면, 좀 더 소개가 내 일부 회담 슬라이드에 나와있다 : http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf) 하스켈 태그 다시