Tag
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.
Charlie Marsh announces that the 'ty' tool now supports all 22 cases of control flow analysis and type narrowing for advanced pattern matching.
This blog post details the evolution and recent refactoring of Futhark's type checker, from a simple type checker to Hindley-Milner inference and the complexities of adding features like uniqueness types and size types.
Recent improvements to the Swift type checker, a developer tool for the Swift programming language.
Pyrefly, an open-source Python type checker and language server, reaches v1.0, marking production readiness with significant performance improvements and adoption by major codebases like PyTorch and NumPy.