Resultados de la búsqueda a petición "haskell"

2 la respuesta

¿Cómo puedo producir un tipo de etiqueta para cualquier tipo de datos para usar con DSum, sin Template Haskell?

antecedentes Quiero escribir un código de biblioteca, que internamente usa DSum para manipular el tipo de datos de un usuario. DSum requiere un tipo de 'etiqueta' que tiene un argumento de tipo único. Sin embargo, quiero que mi código ...

2 la respuesta

Comprender esta definición de HList

Soy relativamente nuevo en Haskell, y estoy tratando de entender una de las definiciones deHList [https://hackage.haskell.org/package/HList-0.4.1.0/docs/Data-HList-HList.html]. data instance HList '[] = HNil newtype instance HList (x ': xs) = ...

1 la respuesta

ghci: confusión por defecto

Por casualidad vi un comportamiento extraño al verificar el tamaño (minBound,maxBound) y "longitud en representación decimal" de diferentes tipos integrales. Usando GHCi: Prelude> :{ Prelude| let mi = minBound Prelude| ma = maxBound Prelude| le ...

7 la respuesta

¿Qué significa "puro" en "lenguaje funcional puro"?

Haskell ha sido llamado un "lenguaje funcional puro". ¿Qué significa "puro" en este contexto? ¿Qué consecuencias tiene esto para un programador?

1 la respuesta

Rendimiento Haskell / GHC de `any` /` all`

Escribí funciones de cuantificaciónexists, forallynone para la construcción de Haskell[] tipo de datos de la lista En múltiples ocasiones, estos parecían ser mucho más eficientes quePrelude/Data.Lists any yall. Sospecho ingenuamente que esta ...

2 la respuesta

¿Cómo serializar el tipo de función a json en haskell?

data Task = Task { id :: String , description :: String , dependsOn :: [String] , dependentTasks :: [String] } deriving (Eq, Show, Generic, ToJSON, FromJSON) type Storage = Map String Task s :: Storage s = empty addTask :: Task -> Storage -> ...

5 la respuesta

Alternativa más limpia a la extensa coincidencia de patrones en Haskell

En este momento, tengo un código que esencialmente funciona así: data Expression = Literal Bool | Variable String | Not Expression | Or Expression Expression | And Expression Expression deriving Eq simplify :: Expression -> Expression simplify ...

1 la respuesta

Cómo actualizar stack ghc

stack ghc - --version El glorioso sistema de compilación de Glasgow Haskell, versión 7.10.3 Quiero actualizar a ghc 8. ¿Cómo puedo decirle a stack que actualice ghc?

1 la respuesta

Comparación de tipos en Haskell

Todavía estoy aprendiendo los conceptos básicos de Haskell, y he tratado de encontrar una respuesta a esta simple pregunta, así que me disculpo de antemano, porque estoy seguro de que es simple. Dado: data Fruit = Fruit| Apple | Orange deriving ...

4 la respuesta

¿Se pueden hacer eficientes los combinadores analizadores?

Hace unos 6 años, comparé mis propios combinadores de analizador sintáctico en OCaml y descubrí que eran ~ 5 veces más lentos que los generadores de analizadores que se ofrecían en ese momento. Hace poco volví a visitar este tema y comparé el ...