Dies ist eine Fortsetzung der Antwort auf meine vorherige Frage. Angenommen , ich brauche jedes Element zur Karte a:Avon List[A]zu b:Bmit Funktion def f(a:A, leftNeighbors:List[A]): Bund erzeugen List[B]. Natürlich kann ich nicht einfach anrufen mapauf der Liste , aber ich kann die Liste verwenden...
Was ist die Comonad-Typklasse in Haskell? Wie in Comonad von Control.Comonad im Comonad-Paket (Erläuterungen zu anderen Paketen, die eine Comonad-Typklasse bereitstellen, sind ebenfalls willkommen). Ich habe vage von Comonad gehört, aber alles, was ich wirklich darüber weiß, ist, dass es eine...
Bei jedem Containertyp können wir den (elementfokussierten) Reißverschluss bilden und wissen, dass diese Struktur eine Comonad ist. Dies wurde kürzlich in einer anderen Frage zum Stapelüberlauf für den folgenden Typ ausführlich untersucht : data Bin a = Branch (Bin a) a (Bin a) | Leaf a deriving...
As State Monad kann in Produkt (Left - Functor) und Reader (Right - Representable) zerlegt werden. Gibt es eine Möglichkeit, die Fortsetzungsmonade zu faktorisieren? Der folgende Code ist mein Versuch, bei dem keine Überprüfung durchgeführt wird -- To form a -> (a -> k) -> k {-# LANGUAGE...