Preguntas etiquetadas con monads

¿Qué es la mónada indexada y la motivación de esta mónada? He leído que es útil realizar un seguimiento de los efectos secundarios. Pero la firma tipográfica y la documentación no me llevan a ninguna parte. ¿Cuál sería un ejemplo de cómo puede ayudar hacer un seguimiento de los efectos …

98 haskell  monads 

Soy nuevo en la programación funcional y recientemente aprendí en Learn You a Haskell , pero cuando revisé este capítulo , me quedé atascado con el siguiente programa: import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got number: " ++ show x]) multWithLog :: …

97 haskell  monads 

Hackage tiene varios paquetes para transformadores de mónadas: mtl : biblioteca de transformadores Monad transformadores : functor de hormigón y transformadores de mónada monads-fd : clases de mónadas , usando dependencias funcionales monads-tf : clases de mónadas , utilizando familias de tipos monadLib : una colección de transformadores de mónada. …

92 haskell  monads  monad-transformers 

Estoy trabajando en Escriba usted mismo un esquema en 48 horas (estoy hasta aproximadamente 85 horas) y he llegado a la parte sobre cómo agregar variables y asignaciones . Hay un gran salto conceptual en este capítulo, y desearía que se hubiera hecho en dos pasos con una buena refactorización …

91 variables  haskell  monads  state-monad  ioref 

Realmente no parece entender Map y FlatMap. Lo que no entiendo es cómo una para la comprensión es una secuencia de llamadas anidadas a map y flatMap. El siguiente ejemplo es de Programación funcional en Scala def bothMatch(pat:String,pat2:String,s:String):Option[Boolean] = for { f <- mkMatcher(pat) g <- mkMatcher(pat2) } yield f(s) …

87 scala  map  monads  for-comprehension 

No puedo entender el sentido de la Option[T]clase en Scala. Quiero decir, no puedo ver ninguna ventaja de Nonemás null. Por ejemplo, considere el código: object Main{ class Person(name: String, var age: int){ def display = println(name+" "+age) } def getPerson1: Person = { // returns a Person instance or …

83 java  scala  null  functional-programming  monads 

Es bien sabido que los functores aplicativos están cerrados bajo composición, pero las mónadas no. Sin embargo, he tenido problemas para encontrar un contraejemplo concreto que muestre que las mónadas no siempre componen. Esta respuesta da [String -> a]como ejemplo de una no mónada. Después de jugar un poco con …

82 haskell  monads  composition  proof 

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 

Estoy tratando de definir una familia de máquinas de estados con tipos de estados algo diferentes. En particular, las máquinas de estado más "complejas" tienen estados que se forman combinando los estados de máquinas de estado más simples. (Esto es similar a una configuración orientada a objetos donde un objeto …

9 haskell  state  monads  monad-transformers  state-monad 

Estoy realmente luchando por entender callCC. Obtengo el poder de las Continuaciones y he estado usando el concepto en algunos de mis proyectos para crear conceptos geniales. Pero nunca he necesitado usar algo con mayores capacidades que cont :: ((a->r)->r)-> Cont r a. Después de usarlo, tiene mucho sentido por …

9 haskell  functional-programming  monads 

Se sabe que las transformaciones naturales con firma de tipo a -> adeben ser funciones de identidad. Esto se desprende del lema de Yoneda, pero también se puede derivar directamente. Esta pregunta pide la misma propiedad pero morfismos de mónada en lugar de transformaciones naturales. Considere los morfismos de mónada …

8 haskell  monads  category-theory 

La categoría de conjuntos es tanto monoidal cartesiana como monoidal cocartesiana. Los tipos de isomorfismos canónicos que presencian estas dos estructuras monoidales se enumeran a continuación: type x + y = Either x y type x × y = (x, y) data Iso a b = Iso { fwd :: …

8 haskell  filter  monads  functor  category-theory 

Estoy tratando de crear mi propio tipo de datos, que formará parte de la clase Monad, pero newtype Container a = Container a deriving Monad me da este error: * Can't make a derived instance of `Monad Container' (even with cunning GeneralizedNewtypeDeriving): cannot eta-reduce the representation type enough * In …

8 haskell  instance  monads  newtype 

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 

Me las arreglé para entender la definición de la clase. MonadReader class Monad m => MonadReader r m | m -> r where ... Después de leer el documento de Dependencia funcional en Haskell, ahora puedo entender que | m -> respecifica que la variable de tipo rse decide de …

8 haskell  monads  ghc  type-systems