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

Python comes with a collection of built-in data types that make common data-wrangling operations easy. Among them is the list, a simple but versatile collection type.