对于新的类似方案、依赖类型的语言“Pie”，我购买了该语言的姊妹书：The Little Typer ( http://thelittletyper.com/ )
我试图使用 DrRacket 来遵循代码，但是当我在书中键入代码时出现错误。
(cons 'ratatouille 'baguette)
我收到此错误：“无法确定类型”
由于这两个符号都是原子，那么对 cons 的调用不应该起作用吗？
此外，“+”函数是未定义的，即使对于数字也是如此。Pie有没有可以导入的前奏来提供这样的基本东西。