Resultados de la búsqueda a petición "haskell"
¿Qué significa => en una firma de tipo?
Acabo de empezarAprendete un Haskell, y vi esto usado en un ejemplo sin explicación: tell :: (Show a) => [a] -> String¿Qué significa esto, en particular el=>? Sé que no funcionará si sustituyo-> o eliminarlo, pero realmente no entiendo por qué.
¿En qué se diferencia el 'seq' de Haskell de otras funciones?
Estoy confundido sobre la descripción de cómo Haskell'sseq trabaja en untutorial estoy leyendo [https://hackhands.com/lazy-evaluation-works-haskell/]. El tutorial dice que evaluando la expresiónseq x y primero evaluaráx a WHNF y solo entonces ...
¿Cuándo se evalúa mi expresión de Haskell?
Si yo defino λ> data Bar = Bar Int deriving Show λ> data Foo = Foo Bar deriving Showy λ> let foo = trace "foo" Foo (trace "bar" Bar 100) λ> let two = trace "two" 2 λ> let g (Foo x) y = yentonces creo que entiendo por qué me sale λ> g foo two ...
Haskell: ¿Las variables de tipo están en cláusulas "where" en el mismo espacio de nombres con sus padres?
En el siguiente fragmento (he abstraído todas las otras partes triviales) data T s = T (s -> s) foo :: T s -> s -> s foo (T f) x = bar x where bar :: s -> s bar a = f aRecibí el siguiente error Couldn't match expected type `s1' with actual type ...
¿Qué es la predicatividad?
Tengo una intuición bastante decente sobre los tipos que Haskell prohíbe como "impredicativos": a saber, aquellos en los queforall aparece en un argumento para un constructor de tipos distinto de->. Pero, ¿qué es la predicatividad? ¿Qué lo hace ...
Mientras en un bucle en Haskell
¿Cómo codificar el siguiente pseudocódigo en Haskell? x=0 for (i from 0 to 100): j=0 while ( f(i,j) >0 ): x+= f(i,j) j+=1(f alguna función sin importancia.) Se me ocurrió algo como esto: a= [x| i<-[0..100], let s = takeWhile (\k-> (f i k > 0)) ...
¿Por qué TypeSynonymInstances no permite utilizar sinónimos de tipo parcialmente aplicados en los encabezados de instancia?
Yo sé esoTypeSynomymInstances solo permite utilizar sinónimos de tipo completamente aplicados en los encabezados de instancia [http://hackage.haskell.org/trac/haskell-prime/wiki/TypeSynonymInstances], pero parece que sería útil si también pudiera ...
¿Existe una instancia de mónada para Data.Map / Data.IntMap?
Tengo un algoritmo que funciona en un IntMap que creo que se expresaría mejor imperativamente. Es decir, me gustaría decir cosas como: Busque el valor X en el mapa.Si coincide con un criterio, elimine este valor del mapa.Recorra hasta que no ...
¿Qué tiene de malo esta instancia de YesodAuth?
Acabo de migrar del andamio yesod actual al últimoyesod-1.6.0, yesod-auth-1.6.2. instance YesodAuth App where type AuthId App = UserId -- .... authenticate creds = runDB $ do x <- getBy $ UniqueUser $ credsIdent creds case x of Just (Entity uid ...
Cuenta el número de palíndromos en una lista de cadenas, Haskell
La función countPalindromes recibe una lista de cadenas y devuelve un recuento de cuántas de las cadenas son palindromes. isPalindrome :: String -> Bool isPalindrome w = w == reverse w countPalindromes :: [String] -> Int countPalindromes ss = ...