如何执行在 Frege online repl 中剪下的编译代码

Question

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

我尝试通过在线 repl 来学习 Frege。 为此，我认为将Dierk 的 Real World Frege中的代码示例粘贴到 repl 的右上角窗口是个好主意，然后按 compile 和...？ 我如何开始这段代码？

Answer 1

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

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

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

frege> main

进入左侧窗口。

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

main _ = do

如果我们现在输入

frege> main

我们只得到

:: a -> IO ()

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

frege> main "something"

repl 给出了预期的输出。 虽然我仍然不知道发生了什么，但这有助于我进行下一步:-)