Question

在“小打字机”一书中，我刚刚开始使用DrRacket。在David Christiansen的视频中，我输入了：

(claim two-plus-two-is-four
  (= Nat (+ 2 2) 4))

返回错误：

 claim : this function is not defined.

为什么？

Answer 1

首先，您需要安装pie。在DrRacket中，您可以执行以下操作：文件> 软件包管理器... > 执行我的意思，在打包源字段，然后单击安装。

或者，如果您使用的是命令行，则可以使用以下命令进行安装：

pie

第二，如果您使用的是DrRacket，则需要确保在窗口的左下角选中了“从源确定语言”（在命令行中，这是默认设置）。

第三，将raco pkg install pie放在文件顶部。

#lang pie

这仍然不起作用，因为#lang pie (claim two-plus-two-is-four (= Nat (+ 2 2) 4))不是内置的。可以用其他内置的东西来定义它（本书第72-77页对此进行了讨论）。