弗雷格·REPL 这是Frege的命令行REPL。 可以在提示中输入Frege代码段以对其进行评估。 除弗雷格代码外，还支持以下命令： 命令 描述 ：type 显示表达式的类型 ：浏览 如果提供了模块名称，则显示模块中的名称，否则显示默认的REPL模块中的名称 ：java 查看最后编译的Frege源代码的Java翻译 ：load 从URL或文件加载Frege代码段 ：r 重新加载上一个脚本URL或文件 ：set提示提示符字符串 将提示设置为`promptString` ：se