什麼是球拍中的「：」功能？

Question

我在看它有像

(: track->notes (MIDITrack -> (Listof Note))) 

什麼:函數表達式的源代碼here ？

我懷疑它與合同有關，但在文檔中找不到引用。

Answer 1

:在本文中意思是「有型」。它是類型球拍擴展的一部分，它爲語言添加了靜態類型檢查。

您的示例指出函數track->notes接受MIDITrack並返回列表Note s。

如果您想了解更多信息，請查看Typed Racket documentation。