Preguntas etiquetadas con haskell

Los tipos de métodos dependientes, que solían ser una característica experimental antes, ahora se han habilitado por defecto en el tronco , y aparentemente esto parece haber creado algo de emoción en la comunidad Scala. A primera vista, no es inmediatamente obvio para qué esto podría ser útil. Heiko Seeberger …

127 scala  haskell  programming-languages  type-systems  dependent-method-type 

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 hacer …

127 haskell  linker  ghc  static-linking  glfw 

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 a = Node a Nodetag …

125 haskell  types  graph  functional-programming  algebraic-data-types 

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 default): Set current directory: Si dejo el directorio cabal o el …

124 haskell  emacs  cabal  ghci 

¿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 …

124 haskell  memory-management  ghc  algebraic-data-types 

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 …

124 haskell  lazy-evaluation  combinators  fold 

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 esto: data …

124 haskell 

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 poco?

122 haskell  monads  reader-monad 

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 extensa. Si cree que esta pregunta se puede mejorar …

121 haskell  functional-programming 

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.

119 haskell  functional-programming  lazy-evaluation 

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ó …

119 haskell  record 

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 …

118 haskell  garbage-collection 

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. …

118 haskell  syntax 

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 …

118 sorting  haskell  quicksort 

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 Vectorabstracción parece muy publicitada, particularmente …

117 arrays  haskell  image-processing  bitmap