Informatique théorique monad

3

Existe-t-il un concept de quelque chose comme des foncteurs co-applicatifs assis entre les comonades et les foncteurs?

Toute monade est également un foncteur applicatif et tout foncteur applicatif est un foncteur. De plus, tout comonad est un foncteur. Existe-t-il un concept similaire entre les comonades et les foncteurs, quelque chose comme le foncteur co-applicatif, et quelles sont ses propriétés? \begin{array}{c} \end{array} Foncteurs↑Foncteurs applicatifs↑MonadesFoncteurs↑? ? ?↑ComonadsFoncteursFoncteurs↑↑Foncteurs applicatifs???↑↑MonadesComonads\begin{array}{cc} \mbox{Functors} …

17 ct.category-theory monad applicative comonad

2

Statu quo de la théorie des catégories et des monades dans la recherche théorique en informatique?

Contexte . Je suis un étudiant de baccalauréat qui s'intéresse à la recherche liée à la théorie des catégories, aux monades et à Haskell, et je veux trouver un sujet pour ma thèse de baccalauréat dans ce domaine. J'ai regardé le papier Eugenio Moggi , « Notions de calculs et …

17 reference-request pl.programming-languages big-picture ct.category-theory monad

2

Continuation passant la transformation des fonctions binaires

Rappelons la transformation de passage de continuation (transformée CPS) qui prend à β A : = R R A (où R est fixe) et f : A → B à β f : β A → β B défini par βUNEUNEAβUNE : = RRUNEβUNE:=RRUNE\beta A \mathrel{{:}{=}} R^{R^A}RRRF: A → BF:UNE→Bf …

13 functional-programming monad continuations cps-transforms

2

Quelles sont les relations entre Alternative, MonadPlus (LeftCatch) et MonadPlus (LeftDistributive)?

Suivi Quel est un exemple d'une Monade qui est une Alternative mais pas un MonadPlus? : Supposons que est une monade. Quelles sont les relations betweem m étant une alternative , un MonadPlusCatch et un MonadPlusDistr ? mmmmmmPour chacune des six paires possibles, j'aimerais avoir soit une preuve que l'une …

12 pl.programming-languages functional-programming haskell monad applicative

Questions marquées «monad»