Resultados de la búsqueda a petición "haskell"
Contando elementos únicos en una lista
¿Existe una combinación directa de funciones estándar de orden superior para contar los elementos únicos en una lista? Por ejemplo, el resultado para [1, 1, 4, 0, 4, 4]sería algo como [(1,2), (4,3), (0,1)]
¿Por qué este código usando UndecidableInstances compila y luego genera un bucle infinito de tiempo de ejecución?
Al escribir un código usandoUndecidableInstances antes, me encontré con algo que me pareció muy extraño. Me las arreglé para crear involuntariamente un código que comprueba cuando creía que no debería: {-# LANGUAGE FlexibleInstances #-} {-# ...
Convierta una notación de "hacer" con más de dos acciones para usar la función de vinculación
Sé que la siguiente función "vincular" de la notación "do" es equivalente agetLine >>= \line -> putStrLn do line <- getLine putStrLn linePero, ¿cómo es la siguiente notación equivalente a la función de enlace? do line1 <- getLine putStrLn ...
¿Cuál es la relación entre profunctores y flechas?
Aparentemente, cadaArrow es unStrong [https://hackage.haskell.org/package/profunctors-4.3.2/docs/Data-Profunctor.html#t:Strong] profunctor En efecto^>> [https://hackage.haskell.org/package/base-4.9.0.0/docs/Control-Arrow.html#v:-94--62--62-] y>>^ ...
Endofunción como monoide
Estoy intentando esto (con fines de aprendizaje): {-# LANGUAGE FlexibleInstances #-} instance Monoid (a -> a) where mempty = id mappend f g = f . gesperandoid <> id ser igual aid . id Sin embargo, con(id <> id) 1 Recibo este error: Non ...
F # Tipo de declaración posible ala Haskell?
He buscado varias fuentes: parece que no es posible declarar una definición de tipo en F # ala Haskell: ' haskell type def: myFunc :: int -> intMe gustaría usar este estilo type-def en F # - FSI se complace en responderme: fsi> let myType x = x ...
Coincidencia de patrones Haskell: cómo usar las constantes variables
Idealmente me gustaría escribir algo como esto: myValue1 = 1 :: Int myValue2 = 2 :: Int myFunc :: Int -> Bool myFunc myValue1 = True myFunc myValue2 = FalseVocaciónmyFunc myValue2 devolucionesTrue - No es lo que pretendo. Sé por qué sucede esto, ...
¿Por qué sum x y es de tipo (Num a) => a -> a -> a en Haskell?
He estado leyendo sobre Haskell y me cuesta entender cómo se manejan las definiciones de funciones en este lenguaje. Digamos que estoy definiendo unsum función: let sum x y = x + ysi le pregunto a Haskell por su tipo :t sumyo obtengo sum :: ...
¿Cómo (re) implementaría iterar en Haskell?
iterate :: (a -> a) -> a -> [a](Como probablemente sabes)iterate es una función que toma una función y un valor inicial. Luego aplica la función al valor inicial, luego aplica la misma función al último resultado, y así sucesivamente. Prelude> ...
Funciones que parecen puras para las personas que llaman pero que internamente usan mutación
Acabo de recibir mi copia deExperto F # 2.0 y encontré esta declaración, que me sorprendió un poco: Por ejemplo, cuando sea necesario, puede usar los efectos secundarios en las estructuras de datos privadas asignadas al comienzo de un algoritmo ...