2012-02-15 99 views
5

但在球拍的類型,解釋不顯示類型:顯示功能

> cadr 
#<procedure:cadr> 

有沒有辦法來顯示函數的類型?

回答

8

球拍是一個類型化的語言,所以有沒有這方面的信息,有等價的。但是,如果你使用Typed Racket,球拍的類型方言,你會得到正是這種信息:

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

更具體地說,是ocaml的靜態類型,而球拍動態類型 – newacct 2012-02-15 22:25:48

+0

@newacct,我不不喜歡動態輸入的術語 - 我不認爲這真的意味着人們使用它的方式。我會堅持我的說法,即Racket是無類型的,它不是*作爲對Racket的批評(我是Racket的開發人員之一),而是作爲一個簡單的描述性陳述。 – 2012-02-15 23:04:05

+0

喜歡與否,但動態/靜態類型語言與無類型語言不同。例如,在無類型的awk中,您可以輕鬆地串聯字符串和數字,而在動態方案/ racket中,您將獲得運行時錯誤。 – paul 2012-02-16 06:25:55