Typed Racket string->number 如何将结果转换为整数

Question

我正在尝试将项目从 Racket 转换为 Typed Racket，但我遇到了一些打字机制问题。

string->number 返回 (U Complex False)，但我找不到任何程序将它（甚至只是一个 Complex）转换为 Integer。

一个非常简短的例子来说明我的问题：

#language typed/racket

(define die : Integer 5)

(define dlist '("1" "2" "3" "4" "5"))

(set! die (string->number (car dlist)))

感谢您的帮助！

Answer 1

string->number 的结果类型为(U Complex False)，其中false 的值表示string->number 无法解析数字。在这种情况下，你肯定知道它不会失败，所以你可以用(assert (string->number ...) exact-integer?)断言它是一个整数：

#lang typed/racket

(define die : Integer 5)

(define dlist '("1" "2" "3" "4" "5"))

(set! die (assert (string->number (car dlist)) exact-integer?))

我知道这应该是一个简单的示例，但请尽量坚持使用数字并避免使用字符串。