comonad

2Hitze

1Antwort

Wie mit AST mit Cofree Annotation arbeiten?

Ich habe diese einfache Expr AST und ich kann es leicht zu String konvertieren. import Prelude hiding (Foldable) import qualified Prelude import Data.Foldable as F import Data.Functor.Foldable imp

19Hitze

2Antwort

Comonad Beispiel in Scala

Was ist Comonad, wenn es möglich ist, in Scala-Syntax zu beschreiben. Ich fand scalaz Bibliothek Implementierung, aber es ist nicht klar, wo es nützlich sein kann.

14Hitze

1Antwort

Comonad doppelte Funktion

Warum, wenn Sie die Funktion duplicate :: w a -> w (w a) für die Comonad typeclass duplizieren definieren (link) Sie alle Elemente „im Kontext“ ändern (dh andere Elemente als der Strom ändern Wert

28Hitze

1Antwort

Funktioniert die Kettenfunktion in underscore.js eine Monade?

In the chain documentation Sie finden: chain auf einem eingewickelt Objekt aufrufen wird zukünftig alle Verfahren führen ruft als gut verpackt Objekte zurückzukehren. Wenn Sie die Berechnung abgeschlo

0Hitze

1Antwort

Ist die Liste eine Monade und comonad?

Die Liste Monad ist given here. Siehe auch Spivaks paper here. Also Liste ist eine Monade. Ist es ein Comonad? Wie würdest du das beweisen?

6Hitze

1Antwort

Welche Vorteile habe ich beim Erstellen einer Instanz von Comonad?

In meiner Anwendung versuche ich ein Animationssystem zu implementieren. In diesem System, Animationen als zyklische Liste von Frames dargestellt werden: data CyclicList a = CL a [a] Wir können (ine

17Hitze

3Antwort

Comonadisch finden alle Möglichkeiten, auf ein Gitter zu konzentrieren

{-# LANGUAGE DeriveFoldable #-} {-# LANGUAGE DeriveFunctor #-} {-# LANGUAGE DeriveTraversable #-} import Control.Comonad import Data.Functor.Reverse import Data.List (unfoldr) Zuerst einige Kon

12Hitze

1Antwort

Applicative ist zu monad, was X zu comonad ist

Können wir diese Gleichung für X lösen? Applicative ist zu Monade, was X

14Hitze

3Antwort

Ist das Konzept eines "interleaved homomorphism" eine echte Sache?

Ich bin in der Notwendigkeit der folgenden Klasse von Funktionen: class InterleavedHomomorphic x where interleaveHomomorphism :: (forall a . f a -> g a) -> x f -> x g Offensichtlich ist der Nam

30Hitze

1Antwort

Können Sie `Comonads` basierend auf` Monaden` definieren?

Okay, also lassen Sie uns sagen, dass Sie die Art haben newtype Dual f a = Dual {dual :: forall r. f(a -> r)->r} Wie sich herausstellt, wenn f ein Comonad ist, Dual f ist eine Monade (Spaß Übung). F