Was ist die Comonad typeclass in Haskell?

Was ist der Comonad typeclass in Haskell? Wie in Comonad von Kontrolle.Comonad in der comonad Paket (Erklärungen der anderen Pakete, die eine Comonad typeclass sind auch willkommen). Ich habe vage hörte Comonad, aber alles, was ich wirklich darüber weiß, ist, dass ist bietet extract :: w a -> a eine Art parallel zur Monade ist return :: a -> m a.

Bonus-Punkte für die Feststellung, das "wirkliche Leben" verwendet, der Comonad in "echtem" code.

InformationsquelleAutor der Frage Dan Burton | 2011-12-08

  1. 77

    Können diese links hilfreich sein:

    1. Bewertung der zellulären Automaten ist comonadic. Insbesondere, "wenn Sie sehen, große Datenstrukturen zusammengesetzt aus vielen kleinen aber ähnlichen Berechnungen gibt es eine gute chance, dass wir 're Umgang mit einem comonad".
    2. Sequenzen, streams, und-Segmente
    3. Comonads im Alltag

    InformationsquelleAutor der Antwort Alexey Romanov

  2. 20

    Diese nicht vollständig meine Frage beantworten, aber ich wollte einige relevante Informationen im Antwort-format:

    "co" (Locker) bedeutet "flip the arrows". Hier ist eine grobe visuelle.

    Betrachten Sie die monadischen Operationen:

    return :: a ~> m a
flip (>>=) :: (a ~> m b) -> (m a ~> m b)

    Rückseite der schnörkeligen Pfeile, und Sie bekommen die comonadic Operationen:

    extract :: a <~ w a
extend :: (a <~ w b) -> (w a <~ w b)

    (Geschrieben mit normalen Pfeilen)

    extract :: w a -> a
extend :: (w a -> b) -> w a -> w b

    Beachten Sie, wie in diesem format return ist ein Pfeil, der gerade so passiert zu passen, der in der argument-slot für flip (>>=)und das gleiche gilt von extract und extend. Monade/comonad Gesetze sagen, dass, wenn Sie return oder extract in diesem slot, das Ergebnis ist die Identität Pfeil. Die Gesetze sind die gleichen, "nur mit der Pfeile umgedreht". Das ist ein super handwavey Antwort, aber hoffentlich gibt es einige Einblicke.

    InformationsquelleAutor der Antwort Dan Burton

Schreibe einen Kommentar