Necesito una forma rápida (1000 de comprobaciones de tipos por segundo) para verificar el código fuente generado de Haskell.Código generado por Typecheck que accede al código cargado dinámicamente en Haskell
Probamos hint, que fue lo suficientemente rápido, excepto que no se puede acceder a código cargado dinámicamente a menos que el código fuente esté disponible, lo que no tendríamos en algunos casos. Tal vez haya alguna manera de registrar el código cargado dinámicamente como un paquete o algo así, ya que parece que la sugerencia puede acceder a los paquetes registrados.
Intentamos usar la API ghc, pero parece requerir que los archivos estén en el disco y todo el archivo IO requerido lo hace demasiado lento.
Podemos usar haskell-src-exts para generar el código, pero tenemos que tipearlo.
Tal vez podría ir con la solución de API GHC, y poner todo lo necesario en un disco RAM? – monk
Esta es una aplicación que se distribuirá a los usuarios finales, por lo que no tengo control sobre la configuración de su sistema. – mentics
¿sería posible alimentar los descriptores de archivos api de GHC en lugar de la ubicación del archivo? Entonces no sería difícil evitar hablar con el disco por el contenido (que supongo que tienes en RAM) –