“We apply Grigore’s algorithm to Python type hints and deduce that they are Turing complete.”
Grigore proved Java generics were Turing complete. Now Python’s type hints are too. The type checker can loop forever on a program that never runs. Every language bolts on a type system to add safety, and ends up with a second language nobody can reason about.