Hacker News with Generative AI: Type Checking

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

235 points by homarp 6 days ago | 163 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 8 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 10 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 16 days ago | 287 comments

Python, Programming Languages, Type Checking, Rust

142 points by muglug 24 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 119 days ago | 0 comments