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

Question

在交互式shell和(online) REPL中，我可以输入

:type 1

查找表达式"1“的类型。我是否可以使用代码中的任何函数来达到同样的效果？

Answer 1

在这个时候，没有简单的方法可以做到这一点。

然而，REPL本身是用Frege编写的，所以它当然是可能的。

“诀窍”是构建一个完整的程序，就像

module Foo where { x = 1 }

并通过第一个编译器传递来运行它，直到并包括类型检查传递。然后，可以查询顶级符号x及其类型的符号表。