Hacker News with Generative AI: Type Checking

Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers (edward-li.com)
Earlier this month, two new Rust-based Python type checkers hit the spotlight: pyrefly and ty. Although neither is officially released, they are a welcome change to the Python type checking world, historically dominated by mypy and pylance.
Python, Type Checking, Rust, Programming Languages, Tools
394 points by edwardjxli 31 days ago | 160 comments
Pyrefly: A new type checker and IDE experience for Python (engineering.fb.com)
Today we are announcing an alpha version of Pyrefly, an open source Python type checker and IDE extension crafted in Rust.
Python, Type Checking, IDE, Open Source, Rust
237 points by homarp 41 days ago | 165 comments
Pyrefly:A fast type checker/IDE extension for Python written in Rust (engineering.fb.com)
Today we are announcing an alpha version of Pyrefly, an open source Python type checker and IDE extension crafted in Rust.
Python, Type Checking, IDE, Rust, Open Source
13 points by team_pyrefly 43 days ago | 1 comments
Preview release of ty, a type checker for Python (twitter.com)
Something went wrong, but don’t fret — let’s give it another shot.
Python, Type Checking, Programming Languages, Software, New Releases
3 points by jez 45 days ago | 0 comments
Ty: A fast Python type checker and language server (github.com/astral-sh)
An extremely fast Python type checker and language server, written in Rust.
Python, Type Checking, Language Servers, Rust
916 points by arathore 51 days ago | 287 comments
Pyrefly - A faster Python type checker written in Rust (pyrefly.org)
A faster Python type checker written in Rust
Python, Programming Languages, Type Checking, Rust
142 points by muglug 59 days ago | 75 comments
How is [my new] Type Predicate Generator different? (github.com/peter-leonov)
This document goes into a rather deep comparison of Generator to other runtime type checkers, giving also a rather broad overview of related topics.
Type Checking, Programming, Software, Comparison, Generators
23 points by gojpeg 154 days ago | 0 comments