Resultados de la búsqueda a petición "haskell"
¿Cómo funciona Haskell printf?
l tipo de seguridad de Haskell es el segundoto ninguno solo a idiomas de tipo dependiente. Pero hay algo de magia profunda con Text.Printf [http://hackage.haskell.org/packages/archive/base/latest/doc/html/Text-Printf.html] eso parece bastante ...
¿Cuáles son los beneficios del análisis aplicativo sobre el análisis monádico?
Parece haber un consenso de que debería usar Parsec como aplicativo en lugar de una mónada. ¿Cuáles son los beneficios del análisis aplicativo sobre el análisis monádico? estilactuacióabstraccióSe está analizando monádico?
Haskell: subproceso bloqueado indefinidamente en una transacción STM
¿Hay alguna forma de aumentar un intervalo de tiempo, en base al cual el RTS decide que el hilo se ha bloqueado indefinidamente en una transacción STM? Aquí está mi código: import Control.Concurrent (ThreadId) import ...
¿Cómo puedo escribir inversamente por foldr de manera eficiente en Haskell?
enga en cuenta que la solución trivial reverse a = foldr (\b c -> c ++ [b] ) [] a no es muy eficiente, debido al crecimiento cuadrático de la complejidad. Si he intentado usar la conversión usual de foldl a foldr (a ciegas), pero mi ...
¿Por qué mónadas? ¿Cómo resuelve los efectos secundarios?
Estoy aprendiendo a Haskell y tratando de entender a las mónadas. Tengo 2 preguntas. De lo que entiendo, Monad es solo otra clase de tipos que declara formas de interactuar con datos dentro de "contenedores", incluidos Maybes, Listas e ...
Pueden los ciclos de manejo de banana reactiva en la red?
Tenemos un código como este: guiState :: Discrete GuiState guiState = stepperD (GuiState []) $ union (mkGuiState <$> changes model) evtAutoLayout evtAutoLayout :: Event GuiState evtAutoLayout = fmap fromJust . filterE isJust . fmap autoLayout $ ...
ST Monad == código de olor?
Estoy trabajando en implementar el UCT [http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.1296] algoritmo en Haskell, que requiere una buena cantidad de malabares de datos. Sin entrar en demasiados detalles, es un algoritmo de ...
Cómo crear una instancia de Leer para un tipo de datos en haskell
Así que tengo un tipo de datos data SomeType a = Type a | Mix (SomeType a) (SomeType a) Esta es mi instancia de show para SomeType instance (Show a) => Show (SomeType a) where show (Type a) = show a show (Mix a b) = "(" ++ show a ++ " " ++ show ...
¿Cuál es la diferencia entre tipo y tipo de datos en Haskell?
Estoy un poco confundido sobre la diferencia entre untip y untipo de dato en Haskell. e la literatura que he encontrado, tuve la impresión de que eran conceptos diferente
¿Cómo acelerar mi programa Haskell? Comparación con C
Estoy trabajando en la implementación de uno de los candidatos SHA3, JH. Estoy en el punto donde el algoritmo pasa todas las KAT (Pruebas de respuesta conocida) proporcionadas por NIST, y también lo he convertido en una instancia de Crypto-API. ...