haskell - 推断包含 Haskell 表达式的字符串的类型

Question

我需要一种(快速而肮脏的)方法来获取以字符串形式给出的 Haskell 表达式类型的某种表示形式。

我目前看到 3 个选项:

• 使用 GHC API——但是，文档很快就让我迷失了方向。
• 使用其他类型推断工具——有人建议我尝试 haskell-type-exts，但它无法输入除最简单的表达式之外的所有表达式。我不知道还有其他这样的工具。
• 推出我自己的 HM 推断器 - 除非绝对必要，否则我会避免这样做

我什至不需要一个完整的解决方案，因为一个可以输入 Haskell 合理基本子集的库/工具对我来说就足够了。

那么实现这一目标的最简单方法是什么？

Answer 1

hint package为 GHC API 提供了一个有点受限但可能更容易理解的接口(interface)。也许这足以满足您的目的？如果没有，您也许可以查看源代码以更好地了解如何直接使用 GHC API。

这是一个示例程序:

import Language.Haskell.Interpreter

main :: IO ()
main = do
  r <- runInterpreter $ do
    setImports ["Prelude"]
    typeOf "map (+1)"
  either print putStrLn r

如果运行，则会打印

Num b => [b] -> [b]