[LordKeren]

A large amount of important Python libraries are still missing a good amount of typing - and dealing with third party typesheds is not a good developer experience. The implementation of types in cpython has also been glacially slow and fragmented.

To add to the issue, a huge amount of Python in public repositories is untyped and unversioned- which means that LLMs are pretty bad at getting typing correcting in Python, so the debt is growing much faster than the solutions.

I honestly think that the most viable solution at this point for typing is a typescript-adjacent solution for Python. I’m kind of surprised Microsoft hasn’t put one out yet