Resultados de la búsqueda a petición "haskell"
Hacer inyección de dependencia usando pilas de mónada
estoyprobando diferentes enfoques [https://github.com/capitanbatata/sandbox/tree/master/on-dependency-injection-in-fp/a-weather-app] hacer lo que a veces se conoce como inyección de dependencia. Para esto, he elaborado un ejemplo simple de una ...
¿Cuál es la diferencia entre los rasgos en Rust y las clases de tipos en Haskell?
Rasgos [http://rustbyexample.com/trait.html]en Rust parecen al menos superficialmente similares aclases de tipo [http://en.wikipedia.org/wiki/Type_class]en Haskell, sin embargo, he visto a personas escribir que hay algunas diferencias entre ...
Realice IO simple en Haskeline, dentro de la mónada InputT, sin tener que recurrir a inseguro
Dada la prueba de código de concepto a continuación, me gustaría poder realizar mifoo funcionar con la capacidad de generar la cadenaPaul! y la posibilidad de obtener su valor de retorno dentro delInputT transformador de mónada ...
Almacene el tipo de datos existente con Yesod's Persistent
Todos los tutoriales y referencias que pude encontrar sobre Persistent describen en gran detalle cómo Persistent puede crear automáticamente un nuevo tipo de datos, esquema, migración, etc. a partir de una sola definición en su DSL. Sin embargo, ...
makeLenses para GADTs (Haskell)
¿Hay un equivalente demakeLenses para GADTs? Si tengo un simpleGADT me gusta: data D a b where D :: (Ord a, Ord b) => !a -> !b -> D a b¿Hay alguna forma de generar lentes automáticamente pasando un constructor y una lista de nombres de campo?
¿Por qué necesitamos mónadas?
En mi humilde opinión, las respuestas a la famosa pregunta"¿Qué es una mónada?" [https://stackoverflow.com/questions/44965/what-is-a-monad], especialmente los más votados, intenta explicar qué es una mónada sin explicar claramentepor qué las ...
¿El envío de un Haskell TypeClass es dinámico?
Dada la siguiente instantánea de código de Haskell: class Foo a where bar :: a -> ... quux :: a -> ... ...Cuando el valor de a se determina en tiempo de ejecución, la clase se distribuye en este valor. Supongo que el compilador puede verificar ...
Iterar sobre todas las combinaciones de pares sin repetición en Haskell
En Haskell, dada una lista de elementos,xs, la forma más sencilla de iterar sobre todas las permutaciones de pares con repeticiones es: [(x,y) | x <- xs, y <- xs]Deseo poder hacer lo mismo, pero solo en combinaciones. Si xey fueran comparables, ...
¿Cómo puedo leer los metadatos de un tipo en tiempo de ejecución?
Me gustaría escribir un programa que imprima algunos metadatos de tipo Haskell. Aunque sé que este no es un código válido, la idea es algo así como: data Person = Person { name :: String, age :: Int } metadata :: Type -> String metadata t = ??? ...
Código de verificación de versión de GHC
Estoy contribuyendo aAlex [http://github.com/simonmar/alex], y obviamente depende de muchas bibliotecas y debe compilarse para muchas versiones. Necesito usar una función que solo esté disponible enGHC 7.6.1 para manejar mejor un error. Entonces ...