在 plai 方案中提供了 define-type 和 type-case,但由于某种原因,它们在 typed/racket 中不存在。我想使用宏在球拍中实现这些结构。
我想创建一个宏“def-user-type”,下面是我要使用的语法
(def-user-type Shape
[Rectangle ((l Number) (b Number))]
[Circle ((r radius))]
[Blah (())])
它应该大致表现为以下
(define-type Shape (U Rectangle Circle Blah))
(struct: Rectangle ([l : Number] [b Number]))
(struct: Circle ([r : Number]))
(struct: Blah ())
这是我迄今为止所取得的成就。这是不正确的,并且球拍编译器给出的错误消息也无济于事。
#lang typed/racket
(define-syntax define-user-type
(syntax-rules()
[(define-user-type type-name
[sub-type ((field-name type) ...)]
...)
((define-type type-name (U sub-type ...))
(struct: sub-type ([field-name : type] ...))
...)]))
请指导我。谢谢!