I was wondering when someone would write a type checker in Rust, seemed like an ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		throwaway63467 on May 7, 2025 \| parent \| context \| favorite \| on: Ty: A fast Python type checker and language server I was wondering when someone would write a type checker in Rust, seemed like an obvious thing to do given how slow mypy is.

joshdavham on May 7, 2025 [–]

There's Pyrefly if you wanna check it out: https://github.com/facebook/pyrefly

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact