【文件属性】:
文件名称:typed-racket:打字球拍
文件大小:1.38MB
文件格式:ZIP
更新时间:2021-08-04 06:17:31
types racket Racket
打字球拍
Typed Racket 是 Racket 的逐渐类型化的姊妹语言,它允许您向程序添加静态检查的类型注释。 有关更多信息,请参阅。
安装
Typed Racket 捆绑在默认的 Racket 发行版中,您可以从 Racket 的。
您还可以使用以下命令从主手动安装它:
raco pkg install typed-racket
文档
指南: :
参考: :
该文档还捆绑在您本地的 Typed Racket 副本中。
执照
Racket,包括这些软件包,是免费软件,请参阅以获取更多详细信息。
通过做出贡献,您同意您的贡献是在许可和许可下获得许可的。