"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
Explore this link on the map →saved by
related reading
- Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers | Edward Li's Blogblog.edward-li.com
- No, dynamic type systems are not inherently more openlexi-lambda.github.io
- Reading 1: Static Checkingweb.mit.edu
- TypeScript: Documentation - The Basicstypescriptlang.org
- Reading 1: Static Checkingweb.mit.edu
- What Is Linting + When to Use Lint Tools | Perforce Softwareperforce.com
- Leaving Haskell behind - Infinite Negative Utilityjournal.infinitenegativeutility.com
- Shipping at Inference-Speed | Peter Steinbergersteipete.me
- TypeScript: Documentation - TypeScript for the New Programmertypescriptlang.org
- Python, type hints, and future annotationsblog.derlin.ch
- Type system - Wikipediaen.wikipedia.org
- How I Build — Adam Montgomerymontasaurus.com