> Python's type annotations are formally part of the language > Python's problem is that there is no equivalent of @types/* Yes, this is exactly why I asked:

> Python's type annotations are formally part of the language > Python's problem is that there is no equivalent of @types/* Yes, this is exactly why I asked: > Microsoft to make a good type system Operative word "good". A type system that loses types for libraries has, to say the least, extremely limited value. More to the point, whatever typing Python has is wildly unpopular amongst Python engineers, and when I talk to my Python-using colleagues they seem to have no clue they can even use types. Perhaps it's also a community problem in this way.