Racket 派语言：手工与现实生活

对于像独立类型语言“派”这样的新方案，我购买了该语言的配套书：小打字机

我试图使用DrRacket来跟踪代码，但是当我在书中键入代码时，会出现错误

(cons 'ratatouille 'baguette)

我得到这个错误： 无法确定类型

既然这两个符号都是原子，那对cons的呼吁不应该起作用吗

此外，即使对于数字，“+”函数也是未定义的。Pie是否有可以导入的前奏曲来提供这些基本内容。

试试看

#lang pie
(the (Pair Atom Atom)
  (cons 'foo 'foo))

---

据我回忆，Pie没有内置+函数。老实说，我不确定这是否是正确的答案，即使它使错误消失了。由于我不确定，我暂时不接受这个回答。我认为这是正确的答案。这将在第11帧的标题为“一叉馅饼”的章节中进一步讨论。