計算式はモナドと同じですか？

私はまだ関数型プログラミング（f＃を使用）を学んでおり、最近計算式について読み始めました。私はまだ概念を完全には理解していません。モナドに関するすべての記事を読んでいるときに確信が持てない1つのこと（それらのほとんどはHaskellに基づいて書かれています）は計算式とモナドの関係です。

すべてを書いたので、ここに私の質問です（実際には2つの質問）。

すべてのF＃計算式はモナドですか？すべてのモナドをF＃計算式で表現できますか？

この Tomas Petricekの投稿を読んだことがあり、よく理解できれば、計算式はモナド以上のものであると述べていますが、これを正しく解釈できるかどうかはわかりません。

まず第一に、計算式は言語の特徴であり、モナドは数学的な抽象化であるため、この観点からは、それらは完全に異なるものです。

しかし、それはあまり有用な答えではありません:-)。計算式は、モナド構造を持つ計算（またはデータ型）を使用したプログラミングに使用できる構文を提供する言語機能ですが、他の構造でも使用できます。詳細については、私のF＃計算式動物園の論文を読むことができますが、計算式は以下で使用できます。

• モナドだけでなく、加法モナド（Haskellersが呼ぶMonadPlusまたはMonadOr）
• 構成された計算（Haskellersがモナド変換子と呼ぶもの）
• モナドですが、例外処理のような他のF＃構造をサポートする計算
• モノイド（およびモナドバインドのないいくつかのバリエーション）
• 該当するファンクター（これは研究拡張機能でのみ実装されます）

したがって、計算式は確かにモナドに密接にリンクされていますが、モナドには密接にリンクされていません。これは、たとえば、Haskellのdo表記法とは対照的です。Haskellの表記法は、モナドとより密接にリンクしています（ただし、厳密に数学的にモナドではない計算でも使用できます）。

計算式を使用してモナドを表現できます。ここに例があります。また、既に述べたように、計算式は単なるモナド以外にも使用できます。ここでそれらがどのように異なるかについての拡張説明があります。ここには違いを適切に説明するスペースはありませんが、計算式は通常のF＃構文を再利用し、追加の抽象化を追加できるという点でモナドとは異なります。制限は、計算の種類を超えた多態的な計算式を書くのが非慣用的（かつ困難）であることです。