The type system is a lot less sound and expressive than even TypeScript's though, so it doesn't quite offer the same level of security. I find any doesn't tend

The type system is a lot less sound and expressive than even TypeScript's though, so it doesn't quite offer the same level of security. I find any doesn't tend to stick around long when I use TypeScript, but my Python projects are full of cast()s and Pyright ignore comments. Typeshed is nowhere as comprehensive as DefinitelyTyped either, but that's more of a community building problem.