@charliermarsh: ty now supports all 22 cases of control flow analysis and type narrowing identified in this gigantic "Advanced pattern …
Summary
Charlie Marsh announces that the 'ty' tool now supports all 22 cases of control flow analysis and type narrowing for advanced pattern matching.
View Cached Full Text
Cached at: 07/28/26, 12:32 PM
ty now supports all 22 cases of control flow analysis and type narrowing identified in this gigantic “Advanced pattern matching support” issue https://t.co/xeHjbRIGOv
Similar Articles
@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: On this 126 byte snippet: - ty 0.0.65 stack-overflows - mypy 2.3.0 segfaults - Pyright 1.1.411 times out - Pyrefly 1.1.…
A 126-byte snippet causes multiple Python type checkers (ty, mypy, Pyright, Pyrefly, Pycroscope) to crash, hang, or panic, highlighting interesting edge cases in these tools.
@charliermarsh: PSA: new `regex!` macro dropped in the latest release
A new `regex!` macro has been released in the latest update of the Rust regex library, enabling compile-time regex compilation.
Recent improvements to the Swift type checker
Recent improvements to the Swift type checker, a developer tool for the Swift programming language.