Resultados de la búsqueda a petición "haskell"
Comprensión de listas: hacer listas de listas
Hola, estoy tratando de hacer una función en Haskell que tome un número a que participe usando listas, es decir, para número4 crearía[[1,1,1,1],[1,1,2],[1,3],[2,2],[4]]. Estaba pensando en usar la comprensión de la lista para esto, donde crearía ...
Se encontró un error al agregar la dependencia de MaybeT en el proyecto de pila
Estoy siguiendo este tutorialwebScrapper [http://adit.io/posts/2012-03-10-building_a_concurrent_web_scraper_with_haskell.html#full-code-listing] usando HXT. Estoy usando Stack aquí. Al agregar dependencia para MaybeT, solicitó: Acción ...
¿Por qué necesitamos tipos de suma?
Imagine un lenguaje que no permite constructores de valores múltiples para un tipo de datos. En lugar de escribir data Color = White | Black | Bluenosotros tendriamos data White = White data Black = Black data Blue = Black type Color = White ...
Maximizando de acuerdo a una función
Estoy tratando de escribir una función que acepte una función y dos entradas, y devuelva el argumento que maximiza la función. Esta es la configuración que quiero usar: max :: Eq a => (a -> Int) -> a -> a -> aPor ejemplo, la función ...
¿Cómo lidiar cómodamente con el sistema de tipos en Haskell?
El sistema de tipos de Haskell es poderoso y apreciado por su rigurosidad matemática y solidez lógica, por otro lado, algo tan ingenuo como a continuación me hace preguntarme por qué no funciona como lo espera la intuición. P.ej. porque no ...
¿Qué significa * (estrella) u otros tipos en una lista de instancias de eglefino
Navegando por los abadejos de varios paquetes, a menudo me encuentro con documentaciones de instancias que se ven así (Control.Categoría [https://hackage.haskell.org/package/base-4.9.0.0/docs/Control-Category.html]): Category k (Coercion k) ...
No se pudo deducir KnownNat en dos existenciales con respecto a la biblioteca de singletons
Estaba experimentando con la biblioteca de singletons y encontré un caso que no entiendo. {-# LANGUAGE GADTs, StandaloneDeriving, RankNTypes, ScopedTypeVariables, FlexibleInstances, KindSignatures, DataKinds, StandaloneDeriving #-} ...
¿Por qué DuplicateRecordFields no puede tener inferencia de tipos?
Publicación relacionada:¿Cómo desambiguar la función del ...
¿En qué sentido es puro el IO Monad?
La mónada IO me describió como una mónada estatal donde el estado es "el mundo real". Los defensores de este enfoque de IO sostienen que esto hace que las operaciones de IO sean puras, como referencialmente transparentes. ¿Porqué es eso? Desde mi ...
Dobles o flotadores negativos en Haskell (macports)
¿Por qué aparece un error de segmentación cuando intento mostrar un doble o flotante negativo? No hay problema para los enteros negativos. Prelude> let a = 4 Prelude> :t a a :: Integer Prelude> let b = -4 Prelude> b -4 Prelude> :t b b :: Integer ...