Jaka jest typeklasa Comonad w Haskell?

Jaka jest typeklasa Comonad w Haskell? Tak jak w Comonad z Control.Comonad w pakiecie comonad (mile widziane są również wyjaśnienia wszystkich innych pakietów, które zapewniają typeklasę Comonad). Niewyraźnie słyszałem o Comonad, ale tak naprawdę wiem tylko o tym, że jest to extract :: w a -> acoś w rodzaju paraleli do Monady return :: a -> m a.

Dodatkowe punkty za odnotowanie użycia Comonad w „prawdziwym” kodzie.

Te linki mogą być pomocne:

1. Ocenianie automatów komórkowych jest komonadyczne . W szczególności, „kiedy zobaczysz duże struktury danych złożone razem z wielu małych, ale podobnych obliczeń, istnieje duża szansa, że ​​mamy do czynienia z comonadą”.
2. Sekwencje, strumienie i segmenty
3. Comonads w życiu codziennym

To nie w pełni odpowiada na moje pytanie, ale chciałem umieścić kilka istotnych informacji w formacie odpowiedzi:

„co” (luźno) oznacza „odwróć strzałki”. Oto przybliżony obraz tego.

Rozważmy operacje monadyczne:

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

Odwróć faliste strzałki, a otrzymasz operacje komonadyczne:

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

(Napisane zwykłymi strzałkami)

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

Zwróć uwagę, że w tym formacie returnjest strzałka, która tak się składa, że ​​mieści się w polu argumentu for flip (>>=), i to samo dotyczy extracti extend. Prawa monad / comonad mówią, że kiedy włożysz returnlub wejdziesz extractdo tego slotu, wynikiem jest strzałka tożsamości. Prawa są takie same, „tylko z odwróconymi strzałkami”. To bardzo dobra odpowiedź, ale miejmy nadzieję, że zapewnia pewien wgląd.