# 类型系统
4 个相关产品 · 中文解读 · 按热度排序
ruby/gem_rbs_collection
Ruby gem 的 RBS（Ruby Signature）类型声明集合，提升代码可读性与静态分析能力，助力大型 Ruby 项目实现类型安全。
Announcing TypeScript 7.0
TypeScript 7.0 正式发布，引入了原生可选链、更强大的类型推断和性能优化，是前端开发者构建大型应用的强力工具。
Galois connections for composable numeric casts in Rust
一个用于在 Rust 中实现可组合数值类型转换的代数结构库，通过格罗伊斯连接（Galois connections）确保类型转换的安全与一致性，适合需要精确数值处理的系统级开发者
TS Compiler Knowledge Graph reducing AI tokens about 90%
一个基于 TypeScript 编译器的语义知识图谱工具，通过结构化类型信息大幅减少 AI 生成代码时所需的 token 数量，提升提示效率