Resultados de la búsqueda a petición "data-kinds"
¿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...
Mapa de nivel de tipo con DataKinds
Tengo un patrón común donde tengo una lista de tipos de tipo
Lista de cualquier `DataKind` en GADT
Descargo de responsabilidadLos GADT y DataKinds son un territorio inexplorado para mí, por lo que algunas de sus limitaciones y capacidades son desconocidas para mí. La preguntaAsí que estoy escribiendo un AST para un emisor de código ...
Comprender esta definición de HList
Soy relativamente nuevo en Haskell, y estoy tratando de entender una de las definiciones deHList [https://hackage.haskell.org/package/HList-0.4.1.0/docs/Data-HList-HList.html]. data instance HList '[] = HNil newtype instance HList (x ': xs) = ...