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 à...
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,...
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...