Show function type

Question

But in Racket, the interpreter does not show the type:

> cadr
#<procedure:cadr>

Is there a way to show the type of function?

Answer 1

Racket is an untyped language, so there is no equivalent to this information. However, if you use Typed Racket , a typical Racket dialect, you will get exactly the following information:

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