Kto pierwszy powiedział, co następuje? Monada to po prostu monoid w kategorii endofunkorów, na czym polega problem? A w mniej ważnej sprawie, czy to prawda, a jeśli tak, to czy mógłbyś podać wyjaśnienie (mam nadzieję, że może to być zrozumiałe dla kogoś, kto nie ma dużego doświadczenia...
Słyszałem kilka razy termin „węgiel kamienny” w programowaniu funkcjonalnym i kręgach PLT, szczególnie gdy dyskusja dotyczy przedmiotów, comonad, soczewek itp. Googlowanie tego terminu daje strony, które zawierają matematyczny opis tych struktur, co jest dla mnie prawie niezrozumiałe. Czy ktoś może...
Tak, te : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras import Control.Functor.Fix import Control.Comonad.Cofree zygohistomorphic_prepromorphism ::...
Ponieważ monada stanu może być podzielona na produkt (lewy - Functor) i czytnik (prawy - reprezentowalny). Czy istnieje sposób na uwzględnienie Monady kontynuacji? Poniżej kodu jest moja próba, która nie sprawdza typu -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses,...
Ta Applicativeklisza reprezentuje luźne funktory monoidalne, które zachowują kartezjańską monoidalną strukturę w kategorii typowanych funkcji. Innymi słowy, biorąc pod uwagę obserwowane kanoniczne izomorfizmy, które (,)tworzą strukturę monoidalną: -- Implementations left to the motivated...