显示函数的类型

Question

但是在Racket中,解释器没有显示类型:

> cadr
#<procedure:cadr>

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

Answer 1

Racket是一种无类型语言,所以那里没有相应的信息.但是,如果您使用Typet Racket(一种类型为Racket的方言),您将获得以下信息:

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