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

Question

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

:type 1

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

Answer 1

目前没有简单的方法可以做到这一点。

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

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

module Foo where { x = 1 }

并通过第一个编译器 channel 运行它，直到并包括类型检查 channel 。之后，可以在符号表中查询顶级符号x及其类型。