Resultados de la búsqueda a petición "haskell"
Selección del compilador de C en el paquete cabal
Decidí agregar algunas banderas para controlar la forma en que se compila el archivo fuente C (es decir, algo como use-clang, use-intel, etc.). C-Sources: c_lib/tiger.c Include-Dirs: c_lib Install-Includes: tiger.h if flag(debug) GHC-Options: ...
Confundido sobre los diagramas de los interruptores de Yampa
Hay algunos diagramas de interruptores Yampa ...
¿Puedes crear funciones que devuelvan funciones de una aridad dependiente en un lenguaje de tipo dependiente?
Por lo que sé sobre los tipos dependientes, creo que debería ser posible, pero nunca antes había visto un ejemplo de esto en un lenguaje de tipo dependiente, por lo que no estoy exactamente seguro de por dónde empezar. Lo que quiero es una ...
¿Tiene ghci una lista de todas las instancias de clase de tipo posibles?
Cuando ghc no puede determinar una instancia de clase de tipo concreta, recibirá un mensaje como: No instance for ... arising from a use of `it' The type variable `a0' is ambiguous Possible fix: add a type signature that fixes these type ...
¿Cómo se pueden implementar los agujeros y los contextos para los tipos de tipo superior en una biblioteca uniplate de estilo de lente?
András Kovács propuso esta preguntaen respuesta a una respuesta a una pregunta anterior. [https://stackoverflow.com/questions/25355570/simplifying-a-gadt-with-uniplate/25389564#comment39600628_25389564] En una biblioteca uniplate estilo lente ...
¿Cómo vincular un archivo de objeto personalizado con la biblioteca Haskell?
Creé un paquete Haskell que hace llamadas FFI a funciones definidas en el código CUDA. Me gustaría compilar el archivo .cu en un archivo de objeto (.o) durante la compilación del paquete y forzar al vinculador a vincularlo. Hasta ahora, intenté ...
Comprobación de la comprensión de: "Variable" v.s. "Valor" y "función" frente a "abstracción"
(Esta pregunta es un seguimiento deéste [https://stackoverflow.com/questions/25327705/is-function-a-sort-of-variable/25329157#25329157] mientras estudiaba Haskell.) Solía encontrar confusa la noción entre "variable" y "valor". Por lo tanto, ...
¿Cuál es la diferencia entre una lista cíclica y una lista infinita en Haskell?
Referenciando la respuesta de @ dfeuer a esta pregunta:La forma menos costosa de construir una lista cíclica en Haskell [https://stackoverflow.com/questions/25374736/least-expensive-way-to-construct-cyclic-list-in-haskell] , que dice que el uso ...
El entorno global / local afecta los resultados de los criterios de referencia de Haskell Criterion
Estamos comparando algunos códigos Haskell en nuestra empresa y acabamos de encontrar un caso muy extraño. Aquí hay un código, que compara lo mismo 2 veces. El primero usa unCriterion.env que se crea para todas las pruebas una vez, luego crea env ...
Tipos de tipo superior con C ++
Esta pregunta es para las personas que conocen tanto Haskell (o cualquier otro lenguaje funcional que admita tipos de tipo superior) como C ++ ... ¿Es posible modelar tipos superiores con plantillas C ++? ¿Si es así, ...