applicative

15El calor

2Respuesta

¿Cómo mostrar que una mónada es un functor y un funcionador aplicativo?

Se sabe que las mónadas son teóricamente un subconjunto de funtores y funtores específicamente aplicativos, a pesar de que no está indicado en el sistema de tipos de Haskell. Sabiendo que, dada una mó

6El calor

2Respuesta

¿Instancia aplicable para el estado y otras mónadas de MTL?

En cuanto a la documentación para Control.Applicative, I cuenta de que tienen declaraciones de instancia para ciertos mónadas (por ejemplo IO, Maybe y notablemente ST), pero no existen instancias para

9El calor

1Respuesta

¿Hay alguna manera de mostrar paso a paso cómo evalúa Clojure una función?

Estoy empezando a enseñarme Clojure. Como parte de mis estudios complementarios, he visto algunas conferencias de UC Berkley de Brian Harvey sobre el tema de la programación funcional. En su second le

11El calor

2Respuesta

Cómo componer la función a los aplicativos con scalaz

Al aprender Scalaz 6, intento escribir lectores de tipo seguro que devuelvan las validaciones. Aquí están mis nuevos tipos: type ValidReader[S,X] = (S) => Validation[NonEmptyList[String],X] type MapR

15El calor

1Respuesta

¿Qué functor aplicativo se usa para pasar parámetros compartidos?

Creo que entiendo cómo funcionan los funtores aplicativos en Haskell y los estoy usando para tipos de datos básicos (Tal vez, O bien ...). Sin embargo, encontré this question con el siguiente ejemplo:

10El calor

3Respuesta

Aplicativo sin un functor

Tengo un tipo Image que es básicamente una c-matriz de flotadores. Es fácil crear funciones como map :: (Float -> Float) -> Image -> Image, o zipWith :: (Float -> Float -> Float) -> Image -> Image ->

28El calor

2Respuesta

Haskell - ¿Qué es Control.Applicative.Alternative good for?

Estaba viendo la clase Applicative dentro de las bibliotecas de Haskell y tropecé con Alternative. ¿Para qué sirve esta clase? Una búsqueda en google no reveló nada particularmente perspicaz. Y parece

9El calor

4Respuesta

Fusionando/Anexando Justs en Haskell

Estoy tratando de hacer lo que debe ser deslumbrantemente obvio en Haskell, que va desde Just [1] y Just [2] hasta Just [1, 2]. Sin embargo, no puedo encontrar nada en línea ya que sigo encontrando pá

53El calor

5Respuesta

¿Cuáles son los beneficios del análisis aplicativo sobre el análisis sintáctico monádico?

Parece haber consenso en que debería usar Parsec como un aplicativo en lugar de una mónada. ¿Cuáles son los beneficios del análisis aplicativo sobre el análisis sintáctico monádico? estilo rendimiento

8El calor

1Respuesta

ghci special case for Applicative?

En ghci: λ> :t (pure 1) (pure 1) :: (Applicative f, Num a) => f a λ> show (pure 1) <interactive>:1:1: No instance for (Show (f0 a0)) arising from a use of `show' Possible fix: add