3 ms·

So does it truly take the level of resources of Microsoft to make a good type system? It’s strange to see TypeScript infect the whole JS world while Python rema

• qsort 5y ago
  ? This isn't a fork of the type system. Python's type annotations are formally part of the language, a program correctly typing on mypy will also typecheck on Pylance etc. The OP is a different implementation of type checking, runtime as opposed to static. Python's problem is that there is no equivalent of @types/*, which is in fact a notable issue but also entirely orthogonal.
  • nawgz 5y ago
    > 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.