Rustで学ぶモナドの概念

こんにちは。関数型プログラミングの主要な概念である「モナド」を、比較的わかりやすく説明する記事を共有します。
Rust言語に基づく小さなサンプルをもとに、少しずつ理解できるよう構成されています。

[t7vonn]

良い記事をありがとうございます

[roxie]

会社でRustなんて、うらやましいですね

[carnoxen]

コードを画像ではなくテキストで見せてほしいです

[2k1m0]

同意します

[simnalamburt]

良い記事ですね！ ただ、エンドポインタに関する説明には誤りがあるので、訂正されるとよいと思います https://x.com/simnalamburt/status/1950074970647761168?s=46

[jamiecha]

ご指摘はまったくその通りです!
他言語で書かれた内容を Rust 基準で適用する過程で、誤解があったようです。
Rust の型システムが単一のカテゴリを成すため、エンド関手と一般の関手の区別は無意味になるように思います。
ブログにコメント機能がなくて残念ですが、修正依頼が可能か問い合わせてみようと思います。

[simnalamburt]

すべてがエンド関手というわけではありません。Result<T, E> のように型パラメータが複数あるものは 𝒞 → 𝒞 ではなく、Result : 𝒞 × 𝒞 → 𝒞 なので、このようなものは Bifunctor です。