Resultados de la búsqueda a petición "ghc"
¿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 ...
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 ...
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 ...
¿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 ...
¿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 ...
¿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 ...
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, ...
¿Cómo detectar si un programa ha sido compilado usando -threaded?
Estoy trabajando en un demonio Haskell que utiliza POSIX fork / exec junto con el mecanismo de bloqueo de archivos. Mis experimentos muestran que los bloqueos de archivos no se heredan duranteexecuteFile con-threaded tiempo de ejecución (ver ...
¿Por qué NO se requiere un tipo explícito para la aritmética de Preludio básica?
yo erarespondiendo una pregunta [https://stackoverflow.com/a/21943252/925978]y escribí un código para hacer el trabajo. isPrime :: Int -> Bool isPrime n = primeCheck n $ floor $ sqrt $ (fromIntegral n :: Double)Supuse que se requeriría la firma ...