如何执行Frege在线repl中剪切的编译代码

Question

好吧，我想这是一个愚蠢的初学者问题：

我尝试通过在线代表学习弗雷格。为此，我尽管将代码示例从Dierk's Real World Frege粘贴到repl的右上角窗口是个好主意，按下编译和...？我该如何启动此代码？

Answer 1

我想我自己部分找到了答案：

命令行中的:java命令显示生成的代码。在此代码中，可以看到已编译的模块是自动导入的，因此我们不必引用它。

现在，如果我们从repl中获取HelloWorld示例，只需键入

即可执行

frege> main

进入左侧窗口。

Dierk在他的例子中使用了语法

main _ = do

如果我们现在输入

frege> main

我们只得到

:: a -> IO ()

作为输出。但是如果我们输入

frege> main "something"

repl给出预期的输出。虽然我还不知道发生了什么，但这有助于我完成下一步： - ）