Types 小打字机

在这本小小的打字机手册中，我刚刚开始使用DrRacket。从David Christiansen的视频中，我输入：

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

返回了一个错误：

 claim : this function is not defined.

为什么?

首先需要安装pie。在DrRacket中，您可以使用：文件>包管理器…>按照我的意思，在PackageSource字段中键入pie，然后单击Install

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

raco pkg install pie

其次，如果您正在使用DrRacket，则需要确保在命令行窗口的左下角选择了“从源代码确定语言”，这是默认设置

第三，把朗派放在你的文件的顶部

#lang pie

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

---

这仍然不起作用，因为+不是内置的；它可以用其他内置的东西来定义。本书第72-77页对此进行了讨论。

您是否安装了pie并将lang pie放在文件顶部？好的，不仅仅是我。我不明白+12为什么不起作用。+函数贯穿了前几章，我确信它在某个地方说它没有定义，但我一定错过了。今天尝试计算+12时变灰了一点。