Codice generato in Typecheck che accede al codice caricato in modo dinamico in Haskell

Question

Ho bisogno di un modo rapido (1000 di tipi di controllo al secondo) per il codice sorgente Haskell generato da typecheck.

Abbiamo provato hint che era abbastanza veloce tranne che non può accedere al codice caricato dinamicamente a meno che il codice sorgente sia disponibile che non avremmo in alcuni casi. Forse c'è un modo per registrare il codice caricato dinamicamente come un pacchetto o qualcosa dal momento che il suggerimento può accedere ai pacchetti registrati che sembra?

Abbiamo provato a utilizzare ghc api, ma sembra che i file siano su disco e tutto il file IO richiesto lo rende troppo lento.

Possiamo utilizzare haskell-src-exts per generare il codice, ma è necessario digitarlo di nuovo.

Answer 1

Migliaia di tipi di assegni al secondo non sembrano fattibili in sequenza - li stai facendo contemporaneamente, con qualche speranza per il parallelismo, spero?

E presumo che tu stia supportando l'intero sistema di tipo GHC? Quindi un correttore di tipo ridotto (ad esempio THIH non è sufficiente).

• Usa GHC-api, con bytecode e nessuna ottimizzazione
• cache intero contenuto della memoria
• Invia modifiche al GHC per garantire che possa prendere le DF dal buffer di memoria, se necessario