annotations - 什么时候在 Typed Racket 中使用 `form:`？

Question

ts-guide说过:

In addition to the : form, almost all binding forms from racket have counterparts which allow the specification of types.

但它没有说明何时使用哪一个。

和 ts-reference说 form:是遗留的，为了向后兼容。

但是在 ts-guide 中， form:被用在很多地方。
: v t也是如此优先于 form: ?
那么 form ?

例如:

; form:
(define: (id [z : Number]) : Number z)

; : v t + form
(: id (-> Number Number))
(define (id z) z)

; form (it seems recent versions of Racket add this?)
(define (id [z : Number]) : Number z)

Answer 1

But it does not say when to use which one.

在大多数情况下，它们是等效的。

我喜欢第二种形式——它可以很容易地再次删除 TR 注释。