계산식이 모나드와 동일합니까?

나는 여전히 함수 프로그래밍 (f #)을 배우고 있으며 최근에는 계산 표현식에 대해 읽기 시작했습니다. 나는 여전히 개념을 완전히 이해하지 못하고 모나드에 관한 모든 기사 (대부분 Haskell을 기반으로 작성 됨)를 읽을 때 확실하지 않은 한 가지는 계산 표현식과 모나드의 관계입니다.

이 모든 것을 작성한 후 여기 내 질문이 있습니다 (실제로 두 가지 질문).

모든 F # 계산식이 모나드입니까? 모든 모나드를 F # 계산식으로 표현할 수 있습니까?

나는 Tomas Petricek 의이 게시물을 읽었으며 그것을 잘 이해하면 계산 표현식이 모나드 이상이라는 것을 알 수 있지만 이것을 올바르게 해석할지 확실하지 않습니다.

우선 계산 표현식 은 언어 기능이며 모나드 는 수학적 추상화 이므로이 관점에서 보면 완전히 다른 것 입니다.

그러나 그것은 매우 유용한 대답은 아닙니다 :-). 계산 표현식은 모나드 구조를 갖는 계산 (또는 데이터 유형)으로 프로그래밍하는 데 사용할 수 있지만 다른 구조와 함께 사용할 수도있는 구문을 제공하는 언어 기능입니다. 자세한 내용은 내 F # 계산 식 동물원 용지 를 읽을 수 있지만 계산 식은 다음과 함께 사용할 수 있습니다.

• 모나드뿐만 아니라 첨가제 모나드 (어떤 Haskellers 전화 MonadPlus또는 MonadOr)
• 구성된 계산 (하스 켈러가 모나드 변압기라고 함)
• 모나드이지만 예외 처리와 같은 다른 F # 구문을 지원하는 계산
• 모노 이드 (모나드 바인드가없는 몇 가지 변형)
• 적용 펑터 (연구 확장에서만 구현되지만)

따라서 계산 표현식은 확실히 모나드와 밀접하게 연결되어 있지만 밀접하게 연결되어 있지는 않습니다. 이것은 하스켈의 do표기법 과는 대조적입니다. 예를 들어 모나드와 훨씬 더 밀접하게 연결되어 있습니다 (심지어 수학적으로 모나드가 아닌 계산에도 사용될 수 있습니다).

계산식을 사용하여 모나드를 표현할 수 있습니다. 여기에 예가 있습니다 . 또한 언급했듯이 모나드 이상의 계산 표현식을 사용할 수 있습니다. 여기에 어떻게 다른지에 대한 자세한 설명이 있습니다 . 차이점을 올바르게 설명 할 공간이 없지만 계산 식은 일반적인 F # 구문을 재사용하고 추가 추상화를 추가 할 수 있다는 점에서 모나드와 다릅니다. 제한은 계산 방식에 따라 다형성 인 계산식을 작성하는 것이 비 아이디 오닉 적이며 어렵다는 것입니다.