Qui a d'abord dit ce qui suit? Une monade n'est qu'un monoïde dans la catégorie des endofoncteurs, quel est le problème? Et sur une note moins importante, est-ce vrai et si oui, pourriez-vous donner une explication (si tout va bien une qui peut être comprise par quelqu'un qui n'a pas beaucoup...
J'ai entendu le terme "coalgebras" à plusieurs reprises dans la programmation fonctionnelle et les cercles PLT, en particulier lorsque la discussion porte sur des objets, des comonades, des lentilles, etc. Googler ce terme donne des pages qui donnent une description mathématique de ces structures...
Oui, ceux-ci : {-#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 ::...
En tant qu'État, la monade peut être factorisée en produit (gauche - fonction) et lecteur (droite - représentable). Existe-t-il un moyen de factoriser la Monade de Continuation? Ci-dessous le code est ma tentative, qui ne vérifiera pas le type -- To form a -> (a -> k) -> k {-# LANGUAGE...
La Applicativeclasse de types représente des foncteurs monoïdes laxistes qui préservent la structure monoïde cartésienne sur la catégorie des fonctions typées. En d'autres termes, étant donné les isomorphismes canoniques témoins qui (,)forment une structure monoïdale: -- Implementations left to the...