3 Specifying Types :を使った修飾は値の定義やローカルの定義でも使えます (let () (: x Number) (define x 7) (add1 x)) たいていのバインド式は式の中でも型を書けるようになっています (define x : Number 7) (define (id [z : Number]) : Number z) ど…