在球拍中向类添加类型注释

Question

试图在 Racket 中完成 Conway 的生命游戏的实现，我正在为所有内容添加类型。我无法弄清楚我究竟需要做什么才能从正确输入的 gui 库中获取类。

(: new-timer (Instance Timer%))
(define new-timer (new timer% [interval 400]
                       [notify-callback (lambda () (begin
                                                     (set-field! grd cv (next-grid (get-field grd cv) ROW COLUMNS))
                                                     (send cv on-paint)))]))
(: new-canvas% Canvas%)
(define new-canvas% (class canvas%
              (super-new)
              (inherit get-dc suspend-flush resume-flush)
              (field [dc : (Instance DC<%>) (get-dc)] [grd : Grid (make-grid ROW COLUMNS)])
              (define/override (on-char char)
            (let ([event (send char get-key-code)])
              (cond

                            [(and (char? event) (char=? event #\space)) (send new-timer stop)])))


                      (define/override (on-paint)
                        (send dc erase)
                        (suspend-flush)
                        (render-grid grd ROW COLUMNS dc)
                        (resume-flush))))

(: cv (Instance Canvas%))
(define cv (new new-canvas% [parent main-frame]))

我在下面收到此错误

/Documents/conways-game-of-life/main.rkt:49:83: Type Checker: type mismatch;
;  the object is missing an expected field
;   field: grd
;   object type: (Instance Canvas%)
;   in: (get-field grd cv)
; Context:
;  /usr/share/racket/collects/racket/promise.rkt:128:5
; /home/diego/Documents/conways-game-of-life/main.rkt:49:53: Type Checker: type mismatch;
;  expected an object with field grd
;   given: (Instance Canvas%)
;   in: (set-field! grd cv (next-grid (get-field grd cv) ROW COLUMNS))

我认为是因为 canvas 通常没有 grd 字段，但每次我尝试给我的 canvas 类型声明时 (: cv (Instance new-canvas%)) 它说它是未绑定的。可以找到完整文件和所有代码 here。有人有什么想法吗？

Answer 1

在 new-timer 的定义中，您试图获取 cv 的 grd 字段。

虽然 cv 是 class new-canvas% 的实例，但其类型不包括该字段。您需要为 new-canvas% 创建一个新的 Class 类型。按照惯例，它应该是像 New-Canvas%.

这样的大写版本

(define-type New-Canvas% (Class ....))

(: new-canvas% New-Canvas%)
(define new-canvas% (class ....))

(: cv (Instance New-Canvas%))
(define cv (new .....))

您使用 Class 定义的 New-Canvas% 类型应指定新字段 grd，并指定它是 Canvas% 的子 class .

在球拍中向类添加类型注释

Adding type annotations to classes in racket

racket

typed-racket

在球拍中向 类 添加类型注释

Adding type annotations to classes in racket

racket

typed-racket

在球拍中向类添加类型注释