@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 类型实现了对递归隐式类型别名的全面支持。

Lobsters Hottest

Hillel Wayne 解释了 TLA+ 能验证哪些性质（安全不变式、动作性质、活性），以及仍存在哪些局限。在 Boris Cherny 提到 Claude 的 Opus 曾用 TLA+ 找出竞态条件之后，这篇文章为形式化方法的热度降降温。