Very interesting!
I have started to massively use type hints in 2023 (after almost 11 years of coding with Python). I couldn't agree more with these 2 sentences:
a Python project should be developed with type checks in mind from the start
and:
I can't help but feel the types revolution will drastically change how we code in Python
I am still using the integrated feature of PyCharm for checking type hints. I haven't tried MyPy yet, but I will try one day!