Resultados de la búsqueda a petición "ghc"
Técnicas para rastrear restricciones
Este es el escenario: he escrito un código con una firma de tipo y las quejas de GHC no pudieron deducir x ~ y para algunosx yy. Por lo general, puede arrojar un hueso a GHC y simplemente agregar el isomorfismo a las restricciones de la función, ...
Captura de Control-C excepción en GHC (Haskell)
Construí un bucle realmente simple de lectura-evaluación-impresión en Haskell que atrapa Control-C (UserInterrupt). Sin embargo, cada vez que compilo y ejecuto este programa, siempre atrapa el primer Control-C y siempre aborta en el segundo ...
¿Por qué no hay variables de tipo cuantificadas existencialmente en GHC Haskell?
Hay variables de tipo cuantificadas universalmente, y hay tipos de datos cuantificados existencialmente. Sin embargo, a pesar de eso, las personas dan un pseudocódigo de la formaexists a. Int -> a para ayudar a explicar conceptos a veces, no ...
¿Cómo puedo construir un ThreadId dado que sé el número real?
A menudo me sucede cuando depuro o juego en GHCi que conozco el verdaderoThreadId número (por ejemplo, de usarDebug.Trace), pero eso es todo lo que tengo. El problema es que todas las API de subprocesos, comokillThread requiere unThreadId y no ...
¿Qué sucede con los hilos infantiles cuando sus padres mueren en GHC Haskell?
La documentación paraforkIO dice GHC note: the new thread inherits the masked state of the parent (see mask). The newly created thread has an exception handler that discards the exceptions BlockedIndefinitelyOnMVar, BlockedIndefinitelyOnSTM, and ...
Orden de acciones de E / S incorrecto usando putStr y getLine
Tengo el siguiente código: main = do putStr "Test input : " content <- getLine putStrLn contentCuando lo ejecuto (conrunhaskell) o compilarlo (ghc 6.10.4) el resultado es así: asd Test input : asdPor que esTest input : asd ser impreso ...
Múltiples pliegues en una pasada usando la función de tupla genérica
¿Cómo puedo escribir una función que tome una tupla de funciones de tipoai -> b -> ai y devuelve una función que toma una tupla de elementos de tipoai, un elemento de tipoby combina cada uno de los elementos en una nueva tupla deai: Esa es la ...
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 ...
¿Cómo se implementan las listas en Haskell (GHC)?
Solo tenía curiosidad sobre algunos detalles exactos de implementación de las listas en Haskell (las respuestas específicas de GHC están bien): ¿son listas ingenuas vinculadas o tienen alguna optimización especial? Más ...
¿Qué es exactamente el tipo "*" en Haskell?
En Haskell, las expresiones (de nivel de valor) se clasifican entipos, que se puede anotar con:: al igual que:3 :: Int, "Hello" :: String, (+ 1) :: Num a => a -> a. Del mismo modo, los tipos se clasifican entipos. En GHCi, puede inspeccionar el ...