Mempelajari Konsep Monad dengan Rust

Halo, saya membagikan sebuah tulisan yang menjelaskan konsep utama dalam pemrograman fungsional, yaitu "monad", dengan cara yang relatif mudah dipahami.
Tulisan ini disusun agar Anda dapat memahaminya langkah demi langkah berdasarkan contoh-contoh kecil yang menggunakan bahasa Rust.

[t7vonn]

Terima kasih atas artikelnya yang bagus.

[roxie]

Iri pakai Rust di kantor.

[carnoxen]

Saya harap kodenya ditampilkan sebagai teks, bukan gambar.

[2k1m0]

Saya setuju

[simnalamburt]

Artikel yang bagus! Namun, penjelasan terkait endofunctor tampaknya mengandung kesalahan, jadi akan lebih baik jika diperbaiki https://x.com/simnalamburt/status/1950074970647761168?s=46

[jamiecha]

Tepat sekali!
Sepertinya ada kesalahpahaman dalam proses menerapkan konten yang ditulis dalam bahasa lain dengan acuan Rust.
Karena sistem tipe Rust membentuk satu kategori tunggal, tampaknya pembedaan antara endofunctor dan functor umum menjadi tidak bermakna.
Sayangnya blog tersebut tidak memiliki fitur komentar, jadi saya rasa saya perlu menanyakan apakah memungkinkan untuk meminta revisi.

[simnalamburt]

Tidak semuanya adalah endofunctor. Hal seperti Result<T, E> yang punya beberapa parameter tipe bukanlah 𝒞 → 𝒞, melainkan Result : 𝒞 × 𝒞 → 𝒞, jadi yang seperti ini adalah bifunctor.