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