È possibile utilizzare GHC API o qualcos'altro per caricare non moduli di testo, ma espressioni AST, simili a haskell-src-exts Exp type? In questo modo potremmo risparmiare tempo per la generazione e l'analisi del codice.Caricamento dinamico dell'espressione di sintassi astratta Haskell
Non penso che l'API di GHC esponga un'interfaccia AST (potrebbe essere sbagliato però), ma Template Haskell lo fa. Se si creano espressioni utilizzando la struttura Language.Haskell.THExp, è possibile creare funzioni/dichiarazioni e utilizzarle mediante la sintassi $(someTHFunction).
Un avvertimento abbastanza importante è che TH viene eseguito solo in fase di compilazione, quindi è necessario pre-generare tutto. Se si desidera utilizzare TH in fase di esecuzione, penso che sarebbe necessario stampare piuttosto il modello haskell AST, quindi utilizzare l'API GHC sulla stringa risultante.
Anche io posso generare il codice sorgente Template Haskell. Questo può essere considerato un compromesso tra la generazione di espressioni AST e la generazione di una sorgente di testo Haskell. – modular