It basically boils down to two things - using type hints as much as possible, and upholding the good ol’ making illegal states unrepresentable principle. — Writing Python like it’s Rust