The problem with Python type checking is that the general community still does not write libraries with types. On the other hand, the JS community is further along and most libraries written today include TS files. I think the same will happen with Python, but it obviously takes time.