IO
Haskell 의 모나드는 종종 국가가 세계인 주 모나드로 설명됩니다. 따라서 IO a
monad 유형의 값은 다음과 같이 보입니다 worldState -> (a, worldState)
.
얼마 전에 나는이 견해를 비판 한 기사 (또는 블로그 / 메일 링리스트 게시물)를 읽었으며 이것이 틀린 이유를 몇 가지 제시했습니다. 그러나 나는 기사 나 이유를 기억할 수 없다. 아는 사람 있나요?
편집 : 기사가 잃어버린 것 같습니다. 여기에서 다양한 논쟁을 모으십시오. 더 흥미로운 일을하기 위해 현상금을 시작하고 있습니다.
편집 : 내가 찾고있는 기사는 Simon Peyton Jones 가 Haskell에서 모나드 입력 / 출력, 동시성, 예외 및 외국어 호출을 다루는 어색한 분대를 처리 합니다. (TacTics의 답변에 감사드립니다.)