我很难弄清楚如何在 Typed Racket 中使用本地表单。
这有什么问题:
(: make-random-emetype-list (Range -> (Listof EmeType)))
(define (make-random-emetype-list range )
(local ([define how-many-types (random-integer (Range-lower range) (Range-upper range))]
[define: (bld-lst lst remaining) : ((Listof EmeType) Integer -> (Listof EmeType))
(cond [(< remaining 1) lst]
[else (bld-lst (cons (new-emetype) lst) (- remaining 1))])])
(bld-lst '() how-many-types)))
我确定问题在于我没有完全遵循 ts-reference 中的语法规范,但是在类型化的球拍中有一两个本地定义的函数的示例会非常有帮助。