扇形语言:手动与现实生活

时间:2019-06-09 09:54:42

标签: racket

对于新的类似方案的依赖类型语言“ Pie”,我购买了该语言的配套书:《小打字员》(http://thelittletyper.com/

我正在尝试使用DrRacket遵循代码,但是在书中键入代码时遇到错误。

(cons 'ratatouille 'baguette)

我收到此错误: “无法确定类型”

由于两个符号都是原子,所以调用cons难道不应该吗?

此外,即使对于数字,“ +”功能也是未定义的。 Pie是否有可以导入以提供此类基本内容的前奏。

1 个答案:

答案 0 :(得分:2)

尝试

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