Racket 简单AE定义类型

Question

摘自“编程语言:应用和解释”一书第 6 页我尝试在 DrRacket 中编写第一个示例

#lang typed/racket

(define-type AE
 [num (n number?)]
 [add (lhs AE?) (rhs AE?)]
 [sub (lhs AE?) (rhs AE?)])

但是我得到了错误

aeinterpretter.rkt:5:2: define-type: unexpected term in: (add (lhs AE?) (rhs AE?))

我在这里做错了什么？

Answer 1

您应该在 PLAI 中运行此示例语言:

#lang plai

(define-type AE
 [num (n number?)]
 [add (lhs AE?) (rhs AE?)]
 [sub (lhs AE?) (rhs AE?)])

Typed Racket语言是一种完全不同的语言，它为您提供基本 Racket 语言的大部分功能，但具有静态类型系统。 PLAI 中的 define-type 形式是“类型”的不同概念。