Monad apa pun juga merupakan fungsi aplikasi dan fungsi aplikasi apa pun adalah fungsi. Juga, comonad apa pun adalah functor. Apakah ada konsep yang sama antara comonads dan functors, sesuatu seperti functor co-aplikatif, dan apa propertinya? \begin{array}{c} \end{array} Functors↑Fungsional yang...
Latar Belakang . Saya seorang mahasiswa sarjana yang tertarik dalam penelitian yang berkaitan dengan teori kategori, monad dan Haskell, dan saya ingin mencari topik untuk tesis sarjana saya di bidang itu. Saya telah melihat kertas Eugenio Moggi , " Pengertian Komputasi dan Monad ", 1991, dan...
Ingat transformasi passing lanjutan (transformasi CPS) yang membawa AAA ke βA:=RRAβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A} (di mana RRR adalah tetap) dan f:A→Bf:A→Bf : A \to B ke βf:βA→βBβf:βA→βB\beta f : \beta A \to \beta B didefinisikan oleh Sebenarnya kita memilikikelanjutan monaddengan satuan...
Tindak Lanjut Apa contoh dari Monad yang merupakan Alternatif tetapi bukan MonadPlus? : Anggap adalah monad. Apa hubungan betweem m menjadi alternatif , sebuah MonadPlusCatch dan MonadPlusDistr ? mmmmmmUntuk masing-masing dari enam pasangan yang mungkin, saya ingin memiliki bukti bahwa satu...
Sebagian besar sumber daya mengenai pengertian kategoris dalam pemrograman menggambarkan monad, tetapi saya belum pernah melihat deskripsi kategorik dari monad transformer. Bagaimana transformator monad dijelaskan dalam istilah teori kategori? Secara khusus, saya akan tertarik pada: hubungan...
Ini adalah kebingungan referensi. Kadang-kadang saya melihat orang menggunakan istilah "bahasa logam komputasi Moggi" untuk merujuk pada kalkulus yang disajikan oleh Moggi, dan kadang-kadang ke "kalkulus lambda komputasi Moggi". Kadang-kadang mereka menggunakan λm lλml\lambda_{ml} dan kadang-kadang...