为什么 `integer?` 不只对 Integer 类型的东西成功？

Question

似乎 integer? 可以成功...非整数？为什么这段代码不进行类型检查？

#lang typed/racket

(define x : Real 134)

(define y : Integer (cond [(integer? x) x]
                          [else (error "not an integer")]))

Answer 1

您完全正确，integer? 谓词不仅适用于 Integer 类型的事物，它也适用于不精确的实数，例如 3.0。您可能想使用谓词 exact-integer?，而不是：

#lang typed/racket

(define x : Real 134)

(define y : Integer (cond [(exact-integer? x) x]
                          [else (error "not an integer")]))

此代码类型检查并运行。

nonnegative-integer?也是一样，改用exact-nonnegative-integer?。