Incluso los programas trivialmente pequeños de Haskell se convierten en ejecutables gigantes. ¡He escrito un pequeño programa, que fue compilado (con GHC) en el binario con un tamaño de 7 MB! ¿Qué puede causar que incluso un pequeño programa de Haskell se compile en el gran binario? ¿Qué puedo...
Es bastante fácil representar un árbol o una lista en Haskell utilizando tipos de datos algebraicos. Pero, ¿cómo harías para representar tipográficamente un gráfico? Parece que necesitas tener punteros. Supongo que podrías tener algo como type Nodetag = String type Neighbours = [Nodetag] data Node...
¿Cómo puedo encontrar la cantidad real de memoria requerida para almacenar un valor de algún tipo de datos en Haskell (principalmente con GHC)? ¿Es posible evaluarlo en tiempo de ejecución (por ejemplo, en GHCi) o es posible estimar los requisitos de memoria de un tipo de datos compuesto a partir...
Estoy aprendiendo Haskell de learnyouahaskell.com . Tengo problemas para comprender los constructores de tipos y los constructores de datos. Por ejemplo, realmente no entiendo la diferencia entre esto: data Car = Car { company :: String , model :: String , year :: Int } deriving (Show) y...
Me encuentro con un comportamiento extraño con la respuesta Interactive-Haskell emacs. Cuando obtengo un archivo, el emacsmini búfer muestra una serie de indicaciones interactivas: Start a new project named 'myproject'? Cabal dir (guessed from myproject.cabal): Build target (empty for...
El código para la función myAny en esta pregunta usa foldr. Deja de procesar una lista infinita cuando se cumple el predicado. Lo reescribí usando foldl: myAny :: (a -> Bool) -> [a] -> Bool myAny p list = foldl step False list where step acc item = p item || acc (Tenga en cuenta que...
La mónada lectora es tan compleja y parece inútil. En un lenguaje imperativo como Java o C ++, no existe un concepto equivalente para la mónada del lector, si no me equivoco. ¿Puedes darme un ejemplo sencillo y aclarar esto un
Tal como está actualmente, esta pregunta no se ajusta bien a nuestro formato de preguntas y respuestas. Esperamos que las respuestas estén respaldadas por hechos, referencias o experiencia, pero es probable que esta pregunta solicite debate, argumentos, encuestas o una discusión...
Digamos que tengo el siguiente registro ADT: data Foo = Bar { a :: Integer, b :: String, c :: String } Quiero una función que tome un registro y devuelva un registro (del mismo tipo) donde todos menos uno de los campos tienen valores idénticos al que se pasó como argumento, así: walkDuck x = Bar...
Hace mucho que me pregunto por qué es útil la evaluación perezosa. Todavía tengo que tener a alguien que me explique de una manera que tenga sentido; sobre todo termina reduciéndose a "confía en mí". Nota: no me refiero a la memorización.
Tengo curiosidad por saber por qué las implementaciones de Haskell usan un GC. No puedo pensar en un caso en el que GC sea necesario en un lenguaje puro. ¿Es solo una optimización para reducir el copiado o es realmente necesario? Estoy buscando un código de ejemplo que se filtraría si no...
He buscado en Internet una explicación real de lo que hace esta palabra clave. Cada tutorial de Haskell que he visto comienza a usarlo al azar y nunca explica lo que hace (y he visto muchos). Aquí hay una pieza básica de código de Real World Haskell que usa Just. Entiendo lo que hace el código,...
El sitio web de Haskell presenta una función de ordenación rápida de 5 líneas muy atractiva , como se ve a continuación. quicksort [] = [] quicksort (p:xs) = (quicksort lesser) ++ [p] ++ (quicksort greater) where lesser = filter (< p) xs greater = filter (>= p) xs También incluyen una...
Quiero abordar algunos problemas de procesamiento de imágenes en Haskell. Estoy trabajando con imágenes bitonales (mapa de bits) y en color con millones de píxeles. Tengo un número de preguntas: ¿Sobre qué base debo elegir entre Vector.Unboxedy UArray? Ambos son arreglos sin caja, pero la...
Soy nuevo en Haskell y estoy muy confundido con Where vs. Let . Ambos parecen tener un propósito similar. He leído algunas comparaciones entre Dónde y Dejar, pero tengo problemas para discernir cuándo usar cada una. ¿Podría alguien proporcionar algún contexto o quizás algunos ejemplos que...
Cerrado. Esta pregunta no cumple con las pautas de Stack Overflow . Actualmente no acepta respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que esté relacionada con el tema de Stack Overflow. Cerrado hace 5 años . Mejora esta...
¿Mediante qué mecanismo se memoriza esta función de fibonacci? fib = (map fib' [0..] !!) where fib' 1 = 1 fib' 2 = 1 fib' n = fib (n-2) + fib (n-1) Y en una nota relacionada, ¿por qué esta versión no? fib n = (map fib' [0..] !! n) where fib' 1 = 1 fib' 2 = 1 fib' n = fib (n-2) + fib...
Estoy tratando de paralelizar un trazador de rayos. Esto significa que tengo una lista muy larga de pequeños cálculos. El programa básico se ejecuta en una escena específica en 67,98 segundos y 13 MB de uso total de memoria y una productividad del 99,2%. En mi primer intento utilicé la estrategia...
Haskell tiene una función de identidad que devuelve la entrada sin cambios. La definición es simple: id :: a -> a id x = x Entonces, para divertirse, esto debería generar 8: f = id id id id id id id id id id id id id id id id id id id id id id id id id id id main = print $ f 8 Después de...
Mientras aprendo Haskell, noté su clase de tipo , que se supone que es un gran invento que se originó en Haskell. Sin embargo, en la página de Wikipedia sobre la clase de tipo : El programador define una clase de tipos especificando un conjunto de nombres de funciones o constantes, junto con...