frege - 如何执行在 Frege 在线 repl 中截取的编译代码

Question

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

我尝试通过在线repl学习弗雷格。为此，我认为将Dierk 的 Real World Frege中的代码示例粘贴到 repl 的右上方窗口是一个好主意，按编译并...？如何启动此代码？

Answer 1

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

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

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

frege> main

进入左侧窗口。

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

main _ = do

如果我们现在输入

frege> main

我们只得到

:: a -> IO ()

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

frege> main "something"

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