概念Type Checking
类型检查
验证变量、函数签名之间类型是否一致的静态分析技术，用于在编译前发现类型错误
时间轴 (近 90 天)
10月23日
浏览器加剧类型检查不等于真实浏览器操作已经通过，类型检查不能替代行为测试，构建成功不能证明按钮不会重复提交。
待验证50%
10月20日
自动检查（lint、测试、类型检查）能拦截低级错误，但无法替代人工判断业务逻辑合理性和方案正确性。
待验证50%
10月13日
智能体需要可运行的检查作为反馈回路，包括测试、构建、类型检查、linter 以及清晰的错误信息。
待验证50%
10月13日
类型检查在编译或运行前验证变量、参数和返回值的类型一致性，能捕获接口误用；lint 通过静态分析发现未使用变量、可疑空值处理、风格违规等问题。
待验证50%
10月4日
静态类型检查器在不运行代码的前提下阅读代码，追踪值的流向并标记类型不匹配之处
待验证50%