Racket中的“：”功能是什么？

Question

我正在查看源代码here 它有像

这样的表达式

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

:函数是什么？

我怀疑它与合同有关，但在文档中找不到引用。

Answer 1

在这种情况下，

:表示“有类型”。它是 Typed Racket 扩展的一部分，它将静态类型检查添加到语言中。

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

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