Resultados de la búsqueda a petición "haskell"
nulo en lugar de ==
Acabo de empezar a aprender Haskell por interés. Yo sigolearnyouahaskell.com [http://learnyouahaskell.com]. Ahí encontré esto: null comprueba si una lista está vacía. Si es así, vuelveTruede lo contrario, vuelveFalse. Use esta función en lugar ...
No coinciden las variables de tipo rígido
He seguido el código de Haskell que falló enCouldn't match type ‘a’ with ‘a1’ error: bar :: [Int] -> (a -> Int -> a) -> a -> a bar ns fp ap = snd $ foldl fn (fp, ap) ns where fn :: ((a -> Int -> a), a) -> Int -> ((a -> Int -> a), a) fn (f, x) i ...
Haskell: definir producto con foldr
Estoy tratando de definirproduct confoldr: Podría hacerlo con: new_product xs = foldr (*) 1 xs pero no: new_product = foldr (*) 1 o: new_product = \xs -> foldr (*) 1 xs Ambas definiciones producen el mismo error: Ninguna instancia para ...
runST con sistema de tipo Hindley-Milner
Si entiendo la mónada ST en Haskell correctamente,runST usa los tipos de rango 2 de una manera inteligente para garantizar que un cálculo no haga referencia a ningún otro hilo al escapar de la mónada. Tengo un lenguaje de juguete con un sistema ...
GADT's: ¿aplicaciones y utilidad?
Estoy cubriendo los GADT usando learnyouahaskell y estoy interesado en sus posibles usos. Entiendo que su característica principal es permitir la configuración de tipo explícito. Como: data Users a where GetUserName :: Int -> Users String ...
Funciones para tipos de datos polimórficos
datosFoo a se define como: data Foo a where Foo :: (Typeable a, Show a) => a -> Foo a -- perhaps more constructors instance Show a => Show (Foo a) where show (Foo a) = show acon algunas instancias: fiveFoo :: Foo Int fiveFoo = Foo 5 falseFoo :: ...
Papel de la dependencia funcional en la clase de tipo `Unfoldable` de Haskell Collection API
Estoy tratando de entender el diseño de Haskell'sData.Collection [https://hackage.haskell.org/package/collections-api-1.0.0.0/docs/Data-Collections.html] biblioteca, proveniente de un fondo alfabetizado en Scala. UsaDependencias Funcionales ...
¿Por qué no hay una instancia de MonadMask para ExceptT?
Edward Kmett'sexcepciones la biblioteca no proporciona unMonadMask [https://www.stackage.org/haddock/lts-7.18/exceptions-0.8.3/Control-Monad-Catch.html#t:MonadMask] instancia paraExcepto ...
Haskell: Verifique si es entero o verifique el tipo de variable
Entonces digamos que tienes una variable n. Desea verificar si es un número entero, o mejor aún, verifique de qué tipo es. Sé que hay una función en Haskell, isDigit, que comprueba si es un char. Sin embargo, ¿hay una función que verifique si ...
¿Cómo codificar posibles transiciones de estado en tipo?
Estoy tratando de replicar en Haskell este fragmento de código Idris, que impone la secuencia correcta de acciones a través de tipos: data DoorState = DoorClosed | DoorOpen data DoorCmd : Type -> DoorState -> DoorState -> Type where Open : ...