显示函数的类型

Question

但是在Racket中，解释器没有显示类型：

> cadr
#<procedure:cadr>

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

Answer 1

Racket是一种无类型语言，所以那里没有相应的信息。但是，如果你使用Typed Racket，一种键入的方言，那么你将获得这种信息：

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