«monad» etiketlenmiş sorular

3
Komonadlar ve functorlar arasında oturan ortak uygulama functorları gibi bir kavram var mı?
Herhangi bir monad aynı zamanda bir uygulama fonktörüdür ve herhangi bir uygulama fonktörü bir fonktordur. Ayrıca, herhangi bir comonad bir işlevdir. Komonadlar ve functorlar arasında benzer bir kavram var mı, ortak uygulama functoru gibi bir şey ve özellikleri neler? \begin{array}{c} \end{array} Functors↑Applicative functors↑MonadsFunctors↑???↑ComonadsFunctorsFunctors↑↑Applicative functors???↑↑MonadsComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ \uparrow …

2
Teorik bilgisayar bilimleri araştırmalarında kategori teorisinin ve monadların statükosu?
Arkaplan . Kategori teorisi, monadlar ve Haskell ile ilgili araştırmalarla ilgilenen bir lisans öğrencisiyim ve bu alanda lisans tezim için bir konu bulmak istiyorum. Gazeteye baktım Eugenio Moggi , “ Hesaplamalar ve Monadlar Kavramı ”, 1991, ve henüz çok fazla anlamadım. Muhtemelen tam olarak anlamak için biraz zamana ihtiyacım olacak. …


2
Alternative, MonadPlus (LeftCatch) ve MonadPlus (LeftDistributive) arasındaki ilişkiler nelerdir?
Takip Etme MonadPlus olmayan ancak alternatif olan bir Monad örneği nedir? : Varsayalım bir tek hücreli olup. İlişkiler betweem nelerdir m bir varlık Alternatif bir MonadPlusCatch ve MonadPlusDistr ? mmmmmmAltı olası çiftin her biri için ya birinin diğerini ima ettiğine dair bir kanıt ya da buna karşı olmayan bir karşı …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.