没有合适的资源?快使用搜索试试~ 我知道了~
温馨提示
打字球拍 Typed Racket 是 Racket 的逐渐类型化的姊妹语言,它允许您向程序添加静态检查的类型注释。 有关更多信息,请参阅。 安装 Typed Racket 捆绑在默认的 Racket 发行版中,您可以从 Racket 的。 您还可以使用以下命令从主手动安装它: raco pkg install typed-racket 文档 指南: : 参考: : 该文档还捆绑在您本地的 Typed Racket 副本中。 执照 Racket,包括这些软件包,是免费软件,请参阅以获取更多详细信息。 通过做出贡献,您同意您的贡献是在许可和许可下获得许可的。
资源推荐
资源详情
资源评论
收起资源包目录
typed-racket:打字球拍 (1513个子文件)
.gitignore 172B
LICENSE 461B
LICENSE 461B
LICENSE 461B
LICENSE 461B
LICENSE 461B
LICENSE 461B
LICENSE 461B
0001-prefab-structs.md 14KB
0002-typechecking-struct-proper-values.md 5KB
0000-ignore-type-info.md 3KB
README.md 3KB
0000-template.md 2KB
README.md 1KB
issue_template.md 163B
README 2KB
typecheck-tests.rkt 228KB
base-env.rkt 149KB
gui-types.rkt 130KB
base-env-numeric.rkt 103KB
class-tests.rkt 80KB
check-class-unit.rkt 78KB
framework-types.rkt 72KB
parse-type.rkt 68KB
type-rep.rkt 67KB
type-contract.rkt 58KB
subtype.rkt 49KB
subtype-tests.rkt 43KB
infer-unit.rkt 42KB
prims.rkt 40KB
parse-type-tests.rkt 38KB
contract-tests.rkt 36KB
printer.rkt 35KB
tc-lambda-unit.rkt 34KB
framework.rkt 34KB
check-unit-unit.rkt 34KB
tc-structs.rkt 32KB
ineq.rkt 31KB
tc-toplevel.rkt 30KB
prims-contract.rkt 25KB
metrics.rkt 23KB
float-complex.rkt 23KB
random-bits.rkt 23KB
rep-utils.rkt 21KB
typed-units-tests.rkt 21KB
unit-prims.rkt 20KB
prefab-tests.rkt 20KB
tc-expr-unit.rkt 20KB
kw-types.rkt 19KB
init-envs.rkt 19KB
type-printer-tests.rkt 19KB
infer-timing.rkt 18KB
new-metrics.rkt 18KB
tc-app-helper.rkt 18KB
for.rkt 18KB
base-special-env.rkt 18KB
for-vector.rkt 18KB
class-prims.rkt 17KB
tc-let-unit.rkt 16KB
prefab.rkt 16KB
pr241-variation-5.rkt 16KB
prop-ops.rkt 16KB
static-contract-optimizer-tests.rkt 16KB
base-env-indexing-abs.rkt 15KB
float.rkt 15KB
base.rkt 15KB
tc-funapp.rkt 15KB
utils.rkt 14KB
optimize.rkt 14KB
classes.rkt 14KB
annotate-classes.rkt 13KB
infer-tests.rkt 13KB
tr-random-testing.rkt 13KB
little-schemer.rkt 13KB
object-rep.rkt 13KB
prefab-c.rkt 13KB
unboxed-let.rkt 12KB
abbrev.rkt 12KB
base-abbrev.rkt 12KB
any-wrap.rkt 12KB
constraints.rkt 12KB
tc-envops.rkt 12KB
prims-struct.rkt 11KB
pict.rkt 11KB
tc-utils.rkt 11KB
instantiate.rkt 11KB
main.rkt 11KB
http.rkt 11KB
type-alias-helper.rkt 10KB
tc-app-hetero.rkt 10KB
intersect.rkt 10KB
leftist-heap.rkt 10KB
inequalities.rkt 10KB
float-complex-float-cs-skip.rkt 10KB
tc-literal.rkt 10KB
def-binding.rkt 10KB
metafunction-tests.rkt 9KB
opaque-object.rkt 9KB
core-rep.rkt 9KB
fixnum.rkt 9KB
共 1513 条
- 1
- 2
- 3
- 4
- 5
- 6
- 16
资源评论
简内特
- 粉丝: 36
- 资源: 4713
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功