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