Questions marquées «comonad»

Comprendre pourquoi Zipper est un Comonad

Ceci fait suite à la réponse à ma question précédente. Supposons que je doive mapper chaque élément a:Ade List[A]à b:Bavec une fonction def f(a:A, leftNeighbors:List[A]): Bet générer List[B]. Évidemment, je ne peux pas simplement appeler mapsur la liste, mais je peux utiliser la fermeture à glissière de la liste . …

112 scala functional-programming zipper comonad

Quelle est la classe de types Comonad dans Haskell?

Quelle est la classe de types Comonad dans Haskell? Comme dans Comonad de Control.Comonad dans le paquet comonad (les explications de tout autre paquet qui fournit une classe de type Comonad sont également les bienvenues). J'ai vaguement entendu parler de Comonad, mais tout ce que je sais vraiment, c'est qu'il …

105 haskell typeclass comonad

Comment factoriser la monade de continuation en joints gauche et droit?

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 {-# …

11 haskell monads continuations category-theory comonad

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.