如何在Frege中打印表达式的类型

Question

在交互式外壳和（在线）REPL中，我可以输入

:type 1

找出表达式“ 1”的类型。 我可以从代码中使用任何功能来达到相同的效果吗？

Answer 1

目前尚无简便的方法。

但是，REPL本身是用Frege编写的，因此当然可以。

“技巧”是构建一个完整的程序，例如

module Foo where { x = 1 }

并在第一个编译器遍历（包括类型检查遍历）中运行它。 之后，可以在符号表中查询顶级符号x及其类型。