Domande taggate «comonad»

Capire perché Zipper è un Comonad

Questo è un seguito alla risposta alla mia domanda precedente. Supponiamo di dover mappare ogni elemento a:Adi List[A]a b:Bcon la funzione def f(a:A, leftNeighbors:List[A]): Be generare List[B]. Ovviamente non posso semplicemente chiamare mapsulla lista ma posso usare la cerniera della lista . La cerniera è un cursore per spostarsi in …

112 scala functional-programming zipper comonad

Qual è la classe di caratteri Comonad in Haskell?

Qual è la classe di caratteri Comonad in Haskell? Come in Comonad da Control.Comonad nel pacchetto comonad (sono benvenute anche spiegazioni di qualsiasi altro pacchetto che fornisce una classe di caratteri Comonad). Ho vagamente sentito parlare di Comonad, ma tutto quello che so veramente è che fornisce extract :: w …

105 haskell typeclass comonad

Come fattorizzare la monade di continuazione in congiunti sinistro e destro?

Poiché la monade dello Stato può essere scomposta in Prodotto (Sinistra - Funzione) e Lettore (Destra - Rappresentabile). C'è un modo per fattorizzare la Monade della continuazione? Di seguito il codice è il mio tentativo, che non digitare check -- To form a -> (a -> k) -> k {-# …

11 haskell monads continuations category-theory comonad

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.