types - 显示函数的类型

Question

但是在 Racket 中，解释器不显示类型:

> cadr
#<procedure:cadr>

有没有办法显示函数的类型？

Answer 1

Racket 是一种无类型语言，因此没有与此信息等效的信息。但是，如果您使用 Typed Racket ，Racket 的打字方言，您将获得准确的此类信息:

-> string-append
- : (String * -> String)
#<procedure:string-append>