Resultados de la búsqueda a petición "ghc"
Haskell: obteniendo el tipo estático de una expresión
Estoy buscando una función que haga lo que hace el comando GHCi: type.Idealmente, tendría una firma algo así como
Conflictos de paquetes de GHC
Estoy tratando de compilar el siguiente código con GHC:
¿Hay una lista de extensiones de GHC que se consideran "seguras"?
De vez en cuando, un fragmento de código que quiero escribir no es legal sin al menos una extensión de idioma. Esto es particularmente cierto cuando se trata...
Tipo de firma incompleta
Digamos que tenemos una función como f a continuación, que devuelve una mónada. Sin embargo, donde se ve
Uso de las bibliotecas estándar de haskell genéricos para los tipos de isomorfismos tipificados
Hay varias bibliotecas genéricas con numerosos módulos superpuestos solo en la plataforma Haskell (
¿Puedo proporcionar al comprobador de tipos pruebas sobre los productos naturales inductivos en GHC 7.6?
GHC 7.6.1 viene con nuevas características para la programación a nivel de tipo, incluyendopromoción de tipo de datos. Tomando el ejemplo sobre los tipos nat...
¿Qué optimizaciones puede esperarse que GHC realice de manera confiable?
GHC tiene muchas optimizaciones que puede realizar, pero no sé qué son todas, ni qué tan probable es que se realicen y bajo qué circunstancias.Mi pregunta es...