1
我在看它有像什麼是球拍中的「:」功能?
(: track->notes (MIDITrack -> (Listof Note)))
什麼:
函數表達式的源代碼here ?
我懷疑它與合同有關,但在文檔中找不到引用。
我在看它有像什麼是球拍中的「:」功能?
(: track->notes (MIDITrack -> (Listof Note)))
什麼:
函數表達式的源代碼here ?
我懷疑它與合同有關,但在文檔中找不到引用。
:
在本文中意思是「有型」。它是類型球拍擴展的一部分,它爲語言添加了靜態類型檢查。
您的示例指出函數track->notes
接受MIDITrack
並返回列表Note
s。
如果您想了解更多信息,請查看Typed Racket documentation。
不知道,但是Racket文檔支持令牌搜索:http://docs.racket-lang.org/search/index.html?q=%3A – user2864740