Comment by jaen

Python has a strong, expressive static type system with a very fast type checker (Pyrefly).