Purescript-如何在REPL中定义函数签名？

Question

当我打字时，说：

f :: Int -> Int

REPL的投诉：

The type declaration for f should be followed by its definition.

Answer 1

REPL希望每一行都是一个完整的程序，并且由于一个孤独的签名不是一个完整的程序，因此会出现错误。

为了使REPL在尝试编译它们之前先摄取几行，请使用:paste命令开始该块，然后按Ctrl + D结束它：

> :paste
… f :: Int -> Int
… f x = x + 42
… ^D
> f 1
43

此命令和其他命令可以通过键入:?来发现，因为REPL邀请您在会话开始时进行此操作：

PSCi, version 0.13.6
Type :? for help