4
我试图在Haskell项目中转储所有标识符的类型信息,基本上它与遍历类型化的抽象语法树相同。Haskell编译器中的遍历型抽象语法树
从another question开始,OCaml通过名为compiler-libs
的库公开其内部API。我想知道Haskell如何支持类似的任务?
我试图在Haskell项目中转储所有标识符的类型信息,基本上它与遍历类型化的抽象语法树相同。Haskell编译器中的遍历型抽象语法树
从another question开始,OCaml通过名为compiler-libs
的库公开其内部API。我想知道Haskell如何支持类似的任务?
GHC-as-a-library给你一个TypecheckedModule
和getNamesInScope
,其中包括每个名称的类型。
不幸的是,GHC并没有为此公开一个很好的API。你可能会从[haskell-type-exts](http://hackage.haskell.org/package/haskell-type-exts)获得一些milage。 – luqui 2015-02-08 07:02:59