typed-racket:打字球拍

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