类型检查生成的代码可访问 Haskell 中动态加载的代码
我需要一种快速的方法（每秒 1000 次类型检查）来对生成的 Haskell 源代码进行类型检查。
我们尝试了 hint ，它足够快，但它无法访问动态加载的代码，除非源代码可用，而我们在一些情况。也许有某种方法可以将动态加载的代码注册为包或其他东西，因为提示似乎可以访问已注册的包？
我们尝试使用 ghc api，但它似乎要求文件位于磁盘上，并且所需的所有文件 IO 使其速度太慢。
我们可以使用 haskell-src-exts 来生成代码，但我们需要对其进行类型检查。
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.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
每秒进行数千次类型检查似乎不太可行——您正在同时执行这些操作，我希望有一些并行性的希望？
我假设您支持完整的 GHC 类型系统？因此，精简的类型检查器（例如 THIH 是不够的）。
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).