Resultados de la búsqueda a petición "haskell"
Guardar mi nivel de ejecución para más tarde
Cuando trabajas en elocaml oghci toplevels A menudo construyo un "contexto" significativo por falta de una mejor palabra, valores vinculados, funciones, módulos cargados, etc. ¿Hay alguna manera de guardar todo eso y volver a cargarlo más tarde ...
¿Existe una útil biblioteca Haskell HashMap / HashTable / Dictionary?
Estoy buscando una consulta de acceso constante sin mónadaO (1) matriz asociativa. Considere el tipo hipotético: data HT k v = ???Quiero construir una estructura inmutable una vez: fromList :: Foldable t, Hashable k => t (k,v) -> HT k ...
Haskell: Cómo escribir una instancia de 'Monoid' para algo que depende de parámetros
Estoy trabajando en una pequeña biblioteca para la universidad que hace cálculos enteros en ungrupo cíclico [https://en.wikipedia.org/wiki/Cyclic_group]; Cosas como: (3 (% 11)) + (10 (% 11)) --> (2 (% 11))'Enteros (% n)' claramente formar ...
¿Cómo interpretar bind / >> = de la instancia de la función?
Estoy tratando de mejorar mi comprensión deApplicatives yMonads implementando sus instancias de función en Javascript. Mi conocimiento de Haskell es limitado y espero que mi pregunta tenga sentido. Aquí están mis implementaciones defmap, <*> ...
¿Cómo trabajar con AST con anotación Cofree?
Tengo este simpleExpr AST y puedo convertirlo fácilmente aString. import Prelude hiding (Foldable) import qualified Prelude import Data.Foldable as F import Data.Functor.Foldable import Data.Monoid import Control.Comonad.Cofree data ExprF r = ...
Implicaciones de foldr vs. foldl (o foldl ')
En primer lugar,Haskell del mundo real, que estoy leyendo, dice que nunca usefoldl y en su lugar usarfoldl'. Entonces confío en eso. Pero tengo dudas sobre cuándo usarfoldr vs.foldl'. Aunque puedo ver la estructura de cómo funcionan de manera ...
Uso de igualdad booleana idiomática (singletons)
Quiero crear una estructura de datos para almacenar elementos etiquetados a nivel de tipo usando Symbol. Esta: data Store e (ss :: [Symbol]) where Nil :: Store e '[] Cons :: e s -> Store e ss -> Store e (s ': ss) data HasElem (a :: k) (as :: ...
Parsec: Solicitantes vs Mónadas
Estoy empezando con Parsec (que tiene poca experiencia en Haskell), y estoy un poco confundido sobre el uso de mónadas o solicitantes. La sensación general que tuve después de leer "Real World Haskell", "Write You a Haskell" y una pregunta aquí ...
¿Cómo puedo escribir este código simple usando la mónada estatal?
Soy un principiante en Haskell y me he encontrado con una situación en la que me gustaría utilizar la mónada estatal. (O al menos, creo que eso es lo que me gustaría usar). Hay un millón de tutoriales para la mónada estatal, pero todos parecen ...
Ventajas de subtipar sobre las clases de tipos
¿Cuáles son las ventajas deOOP subtipo sobre las clases de tipos, si las hay? En otras palabras, ahora que tenemos clases de tipos, ¿hay alguna razón para seguir usandoOOP subtipo? PD: Soy un programador de Scala.