如何在Frege中打印表達式的類型

Question

在交互式外殼和（在線）REPL中，我可以輸入

:type 1

找出表達式“ 1”的類型。 我可以從代碼中使用任何功能來達到相同的效果嗎？

Answer 1

目前尚無簡便的方法。

但是，REPL本身是用Frege編寫的，因此當然可以。

“技巧”是構建一個完整的程序，例如

module Foo where { x = 1 }

並在第一個編譯器遍歷（包括類型檢查遍歷）中運行它。 之后，可以在符號表中查詢頂級符號x及其類型。