@charliermarsh: ty can now detect conditions that are always-true or always-false. The classic example: forgetting to call a function i…
Summary
ty has added the ability to detect always-true or always-false conditions in code, helping to prevent common mistakes such as forgetting to call a function in an if-statement.
View Cached Full Text
Cached at: 09/25/26, 06:40 AM
ty can now detect conditions that are always-true or always-false.
The classic example: forgetting to call a function in an if-statement.
These aren’t type errors, but they’re (very) often mistakes. We found and fixed multiple bugs like this internally! https://t.co/cYszkIYBG0
Similar Articles
@charliermarsh: ty now supports all 22 cases of control flow analysis and type narrowing identified in this gigantic "Advanced pattern …
Charlie Marsh announces that the 'ty' tool now supports all 22 cases of control flow analysis and type narrowing for advanced pattern matching.
@charliermarsh: ty now ships with first-class support for Pydantic For example: we now distinguish between lax and strict mode in Pydan…
The Python tool 'ty' now includes first-class support for Pydantic, distinguishing between lax and strict modes and following Pydantic's coercion rules.
@charliermarsh: ty-pre-commit is out now! Pre-commit hooks for type checkers typically require you to either enumerate your dependencie…
ty-pre-commit is a new tool that simplifies pre-commit hooks for type checkers by automatically installing dependencies using uv.
@charliermarsh: In the next ty release, we have full support for recursive implicit type aliases (at arbitrary depths). For the type th…
In the next release of ty, full support for recursive implicit type aliases is implemented using mu types.
@charliermarsh: For uv/ty/Ruff, I think the answer is kind of circular: as soon as reading the code stops revealing meaningful problems…
Charlie Marsh discusses the threshold for trusting AI-generated code in tools like uv and Ruff, suggesting that improvements in models, harnesses, and verification are needed before he stops manually reviewing the code.