Pyrefly from Meta and Ty from Astral offer type-checking for Python codebases at the speed of Rust.

You're taking a new programming class this fall, and you don't know anything about code. Python is taught widely in schools, and it's one of the most loved programming languages because it's simple.