Home/ Questions/Q 7883471
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-06-03T04:32:27+00:00

I need a fast way (1000’s of typechecks per second) to typecheck generated Haskell

  • 0

I need a fast way (1000’s of typechecks per second) to typecheck generated Haskell source code.

We tried hint which was fast enough except it cannot access dynamically loaded code unless the source code is available which we would not have in some cases. Maybe there is some way to register dynamically loaded code as a package or something since hint can access registered packages it seems?

We tried using the ghc api, but it appears to require the files be on disk and all the file IO required makes it too slow.

We can use haskell-src-exts to generate the code, but we need to typecheck it.

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    Thousands of type checks per second doesn’t seem feasible sequentially — you’re doing these concurrently, with some hope for parallelism I hope?

    And I assume you are supporting the full GHC type system? So a stripped down type checker (e.g. THIH won’t suffice).

    • Use ghc-api, with bytecode and no optimizations
    • Cache everything in memory
    • Submit modifications to GHC to ensure it can take FDs from memory buffers, if necessary
    • 0