3

在 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] ...))
     ...)]))

请指导我。谢谢!

4

1 回答 1

4

你似乎问了不止一个问题。

首先,Typed Racket 有一个define-type,但它可能与#lang plai. 您可以在此处define-type查看plai的实现。type-case

其次,您的宏存在一些问题。

1)您的子句的右侧syntax-rules是将结果应用define-type为函数,这是行不通的。尝试使用 abegin来组合表达式。

2)您对def-user-type宏的使用不符合定义。该定义需要零个或多个(field-name type)对,但在Blah你给(),这不是一对。

3)radius是未定义的类型

这是带有建议更改的宏版本:

#lang typed/racket

(define-syntax def-user-type
  (syntax-rules ()
    [(_ type-name [sub-type ((field-name type) ...)] ...)
     (begin
       (define-type type-name (U sub-type ...))
       (struct: sub-type ([field-name : type] ...)) ...)]))

(def-user-type Shape
  [Rectangle ((l Number) (b Number))]
  [Circle    ((r Number))]
  [Blah      ()])

这是一个使用 aRectangle作为 a的示例Shape

> ((λ: ([x : Shape]) x) (Rectangle 1 2))
- : Shape
#<Rectangle>
于 2013-08-08T17:10:24.260 回答