Monad ialah monoid dalam kategori endofunctors...

Apakah itu Monad?

Monad ialah monoid dalam kategori endofunctors... ?

...jom cuba lagi:

Monad ialah abstraksi yang digunakan dalam pengaturcaraan berfungsi untuk mengendalikan pengiraan dengan cara yang konsisten. Ia ialah corak reka bentuk yang membenarkan rantaian operasi sambil merangkum kesan sampingan, seperti perubahan keadaan, I/O atau ralat, secara terkawal.

Monad boleh dianggap sebagai cara untuk membungkus nilai dan menggunakan fungsi padanya, memastikan pengiraan dijalankan dalam persekitaran yang boleh diramal dan terkawal.

Pemahaman peribadi saya ialah: monad ialah struktur data dengan

• nilai tunggal (atau fungsi) yang tidak berubah
• fungsi map/bind untuk memetakan fungsi kepada nilai tersebut
• fungsi kembali/ratakan yang mengembalikan keadaan baharu kepada monad baharu setiap kali

Ini membolehkan rantaian dan komposisi operasi dengan cara yang mengekalkan kebolehubahan dan ketulenan berfungsi—pendekatan "terbalik" kepada kelas, di mana keadaan tidak boleh diubah suai di tempat, tetapi transformasi digunakan secara berfungsi untuk menghasilkan kejadian baharu.

"simetri terbalik" ini menyerlahkan kontras:

• Kelas mengubah suai keadaan dalaman mereka, mengekalkan kebolehubahan dan interaksi langsung melalui kaedah dalaman. Mereka selalunya berinteraksi dengan keadaan global

• Monad mencapai hasil yang serupa dengan kelas, tetapi dengan membungkus nilai dan memetakan transformasi tidak berubah luaran, mereka tidak mempunyai kesan sampingan: tiada keadaan global

Contoh:

• Kelas: Kelas Box memegang nilai dan anda boleh mengubah suai nilai dengan memanggil kaedah seperti setValue(newValue), yang mengubah keadaan dalaman Kotak.
• Monad: BoxMonad akan memegang nilai dengan cara yang tidak berubah. Untuk mengubah nilai, anda akan menggunakan fungsi seperti peta, yang menggunakan fungsi luaran pada nilai dan mengembalikan BoxMonad baharu, dengan nilai baharu.

Contoh projek dalam Python:
https://github.com/blackopsrepl/py-monad-task-manager

Dalam aplikasi ini, kami menggunakan Monad Negeri untuk menguruskan keadaan senarai tugas. Monad Negeri menyediakan cara untuk memodelkan proses pengurusan tugas sebagai satu siri transformasi pada keadaan aplikasi, sambil mengekalkan keadaan itu sendiri tidak berubah.

Daripada mengubah suai terus keadaan senarai tugas, kami menggunakan fungsi return_ untuk membungkus keadaan awal ke dalam bekas monadik dan fungsi bind untuk menggunakan transformasi pada keadaan dengan cara yang boleh diramal. Setiap kali operasi dilakukan (seperti menambah, mengedit atau memadamkan tugas), ia mengembalikan keadaan baharu, memastikan kebolehubah dan kebolehkomposisian.

Fungsi utama:

• return_: Membungkus nilai ke dalam bekas monadik, menjadikannya sebahagian daripada rantaian pengiraan monadik.
• bind: Menggunakan fungsi pada nilai di dalam monad, mengembalikan bekas monadik baharu dengan nilai yang diubah.

Dengan menggunakan Monad Negeri, kami boleh mengendalikan operasi pengurusan tugas dengan cara yang memastikan negeri dikemas kini secara kekal dan pengiraan disusun tanpa kesan sampingan atau interaksi yang tidak diingini antara operasi.

Atas ialah kandungan terperinci Monad ialah monoid dalam kategori endofunctors.... Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!