Preguntas etiquetadas con comonad

Este es un seguimiento de la respuesta a mi pregunta anterior. Supongamos que necesito asignar cada elemento a:Ade List[A]a b:Bcon función def f(a:A, leftNeighbors:List[A]): By generar List[B]. Obviamente, no puedo simplemente llamar mapa la lista, pero puedo usar la cremallera de la lista . La cremallera es un cursor para …

112 scala  functional-programming  zipper  comonad 

¿Qué es la clase de tipo Comonad en Haskell? Como en Comonad de Control.Comonad en el paquete comonad (también se agradecen las explicaciones de cualquier otro paquete que proporcione una clase de tipo Comonad). He oído hablar vagamente de Comonad, pero todo lo que realmente sé es que proporciona extract …

105 haskell  typeclass  comonad 

Dado cualquier tipo de contenedor, podemos formar el Zipper (centrado en elementos) y saber que esta estructura es un Comonad. Esto se exploró recientemente con maravilloso detalle en otra pregunta de Stack Overflow para el siguiente tipo: data Bin a = Branch (Bin a) a (Bin a) | Leaf a …

80 haskell  zipper  deriving  comonad 

Como State mónada se puede factorizar en Producto (Izquierda - Functor) y Lector (Derecha - Representable). ¿Hay alguna manera de factorizar la Mónada de Continuación? El siguiente código es mi intento, que no escribirá cheque -- To form a -> (a -> k) -> k {-# LANGUAGE MultiParamTypeClasses, TypeOperators, InstanceSigs, …

11 haskell  monads  continuations  category-theory  comonad