Preguntas etiquetadas con applicative

Al explicarle a alguien qué es un tipo de clase X, lucho por encontrar buenos ejemplos de estructuras de datos que sean exactamente X. Entonces, solicito ejemplos para: Un constructor de tipos que no es un Functor. Un constructor de tipos que es un Functor, pero no Aplicativo. Un constructor …

210 haskell  monads  functor  applicative 

Los candidatos componen, las mónadas no. ¿Qué significa la declaración anterior? ¿Y cuándo es preferible uno a otro?

110 haskell  functional-programming  monads  monad-transformers  applicative 

Las clases de tipos de Haskell de la biblioteca estándar MonadPlus, Alternativey Monoidcada una proporciona dos métodos con esencialmente la misma semántica: Un valor vacío: mzero, emptyo mempty. Un operador a -> a -> aque une los valores de la clase de tipos juntos: mplus, <|>o mappend. Los tres especifican …

83 haskell  functional-programming  typeclass  applicative  monoids 

Estoy aprendiendo los aplicantes de Haskell. Me parece (probablemente estoy equivocado) que la purefunción no es realmente necesaria, por ejemplo: pure (+) <*> [1,2,3] <*> [3,4,5] Se puede escribir como (+) <$> [1,2,3] <*> [3,4,5] ¿Alguien puede explicar el beneficio que pureproporciona la función sobre el mapeo explícito fmap?

19 haskell  applicative 

La Applicativeclase de tipos representa functores monoidales laxos que preservan la estructura monoidal cartesiana en la categoría de funciones escritas. En otras palabras, dados los testigos de isomorfismos canónicos que (,)forman una estructura monoidal: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) …

9 haskell  functor  applicative  category-theory 

Aquí está la publicación SO a la que me referiré . Además, voy a usar los mismos fragmentos que el OP en esa pregunta para no separar los materiales . Es ampliamente conocido que una ArrowApplyinstancia produce una mónada y viceversa: newtype ArrowMonad a b = ArrowMonad (a () b) …

8 haskell  monads  applicative  category-theory  arrows 

La ley de naturalidad establece que: t . traverse f == traverse (t . f) -- for every applicative transformer t Ahora para el RHS de la ley, si f tiene el tipo Applicative a => x -> a y, entonces t tiene que ser del tipo (Applicative a, Applicative …

8 haskell  types  applicative  traversable