Resultados de la búsqueda a petición "haskell"
¿Es posible obtener el tipo de constructor de tipo en Haskell?
Estoy trabajando con Data.Typeable y, en particular, quiero poder generar tipos correctos de un tipo particular (digamos*) El problema con el que me encuentro es que TypeRep nos permite hacer lo siguiente (trabajar con la versión en ...
La compilación de Haskell con -O2 aumenta drásticamente el uso de memoria
Este sencillo programa se ejecuta en un espacio de memoria constante cuando se compila sin marcas con ghc: import Data.List f x = x*x g a = foldl' (+) (f a) [1..(1073741824-1)] main = do putStrLn $ show $ foldl' (+) 0 $ map g [0,1]Cuando se ...
¿F # tiene un equivalente a la toma de Haskell?
En Haskell, hay una función "tomar n lista" que devuelve los primeros n elementos de una lista. Por ejemplo, "sum (take 3 xs)" resume los primeros tres elementos en la lista xs. ¿F # tiene un equivalente? Esperaba que fuera una de las funciones ...
Biblioteca propietaria de Haskell
Soy algo nuevo en Haskell, lo he estado usando durante algunos meses para proyectos paralelos. Me gustaría escribir una interfaz Haskell en una biblioteca C. Todo el código será de propiedad, no de código abierto. Entonces mi pregunta es, ¿qué ...
Agrupación de tipos de datos por constructor en Haskell
Dado este tipo de datos data Val = X Int | Y Bool | Z Double deriving (Eq, Show)y una lista como let vals = [X 1, Z 2.7, Y True, X 2, Z 3.14, Y True]cómo agrupar elementos envals en esta lista, [[X 1,X 2],[Y True,Y True],[Z 2.7, Z 3.14]]
¿Hacer que las funciones numéricas sean una instancia de Num?
Quiero poder componer funciones numéricas en haskell usando operadores binarios. Entonces, por ejemplo, con funciones numéricas unarias: f*gdebería traducir a: \x -> (f x)*(g x)y de manera similar para la adición. Hacer que tu propio operador ...
Cómo construir un analizador en Haskell
data Expr = ExprNum Double -- constants | ExprVar String -- variables | ExprAdd Expr Expr | ExprSub Expr Expr | ExprNeg Expr -- The unary '-' operator | ExprMul Expr Expr | ExprDiv Expr Expr deriving ShowEste es mi usuario define el tipo ...
Familias de tipos cerrados y tipos de funciones extrañas
Lo siento, no podía imaginar un mejor título para la pregunta, así que por favor lea con anticipación. Imagine que tenemos una familia de tipos cerrados que asigna cada tipo a su correspondienteMaybe excepto los mismos maybes: type family Family ...
Haskell repl en emacs
Hola, estoy comenzando con Haskell e intentando configurar mis emacs para su desarrollo. yo tengohaskell-mod yghc-mod lo último enemacs 24.3.1. GHC es7.6.3 He creado un archivo haskell first.hs y cuando lo hagoC-c C-l Pregunta: start a new ...
Escribir tipo de datos algebraicos en Scala
En Haskell, puedo definir unTree: data Tree a = Empty | Node a (Tree a) (Tree a) ¿Cómo podría escribir esto en Scala? No estoy seguro de cómo mantener el parámetro de tipo[A] en Scala paraNode para que coincidaTreetipo dea.