@charliermarsh: ty 现在可以检测始终为真或始终为假的条件。经典示例：在 if 语句中忘记调用函数。

X AI KOLs Following 2026/09/24 19:06 工具

static-analysis code-quality bug-detection developer-tools condition-detection

摘要

ty 新增了检测代码中始终为真或始终为假条件的功能，有助于防止常见错误，例如在 if 语句中忘记调用函数。

ty 现在能够检测出始终为真或始终为假的条件。经典示例：在 if 语句中忘记调用函数。这些不是类型错误，但它们（非常）经常是错误。我们内部发现并修复了多个此类错误！ https://t.co/cYszkIYBG0

查看原文

查看缓存全文

缓存时间: 2026/09/25 06:40

TypeScript现在能够检测永真或永假的条件。

经典案例：在if语句中忘记调用函数。

虽然这不算类型错误，但却是（极其）常见的失误。我们内部就发现并修复了多个此类问题！https://t.co/cYszkIYBG0

相似文章

X AI KOLs Following

Charlie Marsh 宣布，'ty' 工具现在支持高级模式匹配中全部22种控制流分析和类型收窄案例。

X AI KOLs Following

Python 工具 'ty' 现在包含了对 Pydantic 的一流支持，区分了宽松模式和严格模式，并遵循 Pydantic 的类型强制规则。

X AI KOLs Following

ty-pre-commit 是一个新工具，通过自动使用 uv 安装依赖项，简化了类型检查器的预提交钩子。

X AI KOLs Following

在 ty 的下一个版本中，通过使用 mu 类型实现了对递归隐式类型别名的全面支持。

X AI KOLs Following

Charlie Marsh 讨论了在 uv 和 Ruff 等工具中信任 AI 生成代码的阈值，认为在停止手动审查代码之前，需要改进模型、工具链和验证方法。