对于新的类似方案的依赖类型语言“ Pie”，我购买了该语言的配套书：《小打字员》（http://thelittletyper.com/）
我正在尝试使用DrRacket遵循代码，但是在书中键入代码时遇到错误。
(cons 'ratatouille 'baguette)
我收到此错误： “无法确定类型”
由于两个符号都是原子，所以调用cons难道不应该吗？
此外，即使对于数字，“ +”功能也是未定义的。 Pie是否有可以导入以提供此类基本内容的前奏。
答案 0 :(得分：2)
尝试
#lang pie
(the (Pair Atom Atom)
(cons 'foo 'foo))