Resultados de la búsqueda a petición "ghc"
Condición de cobertura liberal introducida en GHC 7.7 rompe el código válido en GHC 7.6
La ideaEstoy escribiendo unDSL, que compila a haskell.Los usuarios de este lenguaje pueden definir sus propias estructuras de datos inmutables y funciones as...
¿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 ...
¿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 ...
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 ...