¿Podemos usar la API GHC o algo más para cargar no módulos fuente de texto, sino expresiones AST, similares a haskell-src-exts Exp type? De esta forma podríamos ahorrar tiempo para la generación y el análisis de código.Carga dinámica de la expresión de sintaxis abstracta de Haskell
No creo que la API GHC exponga una interfaz AST (aunque podría ser incorrecta), pero Template Haskell sí. Si crea expresiones utilizando la estructura Language.Haskell.THExp, puede crear funciones/declaraciones y hacer uso de ellas mediante la sintaxis $(someTHFunction).
Una advertencia bastante importante es que TH solo se ejecuta en tiempo de compilación, por lo que tendría que pregenerar todo. Si desea utilizar TH en tiempo de ejecución, creo que debería imprimir bastante la plantilla haskell AST, luego use la API de GHC en la cadena resultante.
También puedo generar el código fuente de Template Haskell. Esto se puede considerar como un compromiso entre generar expresiones AST y generar fuente de texto Haskell. – modular