"We're building a new static type checker for Python" | Hacker News
I tried to fix that one but looking into the code lowered my impression of it even further. It's a complete mess. It's not at all a surprise that it gets so many things wrong.
"We're building a new static type checker for Python" | Hacker News Hacker News new | past | comments | ask | show | jobs | submit login "We're building a new static type checker for Python" ( twitter.com/charliermarsh ) 356 points by shlomo_z on Jan 29, 2025 | hide | past | favorite | 190 comments theLiminator on Jan 29, 2025 | next [–] Very excited for this, looks like it's built on top of pretty solid technical foundations (iirc, it uses salsa from rust for incremental type checking). I've found mypy pretty terrible. Pyright is okay (but requires node). Ruff truly can become one tool to rul
saved by
related reading
- Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers | Edward Li's Blogblog.edward-li.com
- Astra for Coding: Why Are We Doing This Again?lucumr.pocoo.org
- Thoughts on slowing the fuck downmariozechner.at
- Charlie Marsh: uv: An Extremely Fast Python Package Manageryoutube.com
- Writing a C compiler in 500 lines of Pythonvgel.me
- No, dynamic type systems are not inherently more openlexi-lambda.github.io
- Video editing with Python | Hacker Newsnews.ycombinator.com
- styleguide | Style guides for Google-originated open-source projectsgoogle.github.io
- Jane Street Blog - Formal methods and the future of programmingblog.janestreet.com
- Python, type hints, and future annotationsblog.derlin.ch
- The sad state of property-based testing librariesstevana.github.io
- Tao on “blue team” vs. “red team” LLMs | Hacker Newsnews.ycombinator.com