Desde la Propuesta Functor-Applicative-Monad, los Monads son una subclase de Applicative, que a su vez es una subclase de Functor. Matemáticamente hablando, esto parece ser una elección sensata y no tengo ningún problema con eso. Sin embargo, lo que me irrita es que se requiere escribir las instancias Functor y . . . Read more
Tengo un conjunto de llamadas enlazadas a IO en Haskell que devuelven Maybe Z, Maybe Y, Maybe Z, donde X /= Y /= Z. Me gustaría una función que devuelva Just (X,Y,Z) donde TODOS son Just n, sino Nothing. Una implementación ingenua podría ser fn :: (Maybe x, Maybe y, . . . Read more
Estaba haciendo una de las tareas del curso de programación funcional y encontré algunos problemas para entender los mónadas en Haskell. Nos dieron un tipo: data Annotated e a = a :# e infix 0 :# La tarea fue implementar algunas funciones con las firmas de tipo dadas, lo cual . . . Read more