A Failed Experiment with Python Type Annotations

Now, if you’re using TypeScript or C++ the compiler can happily infer the return type of functions. To use type checking, I’d have to add the redundant class declarations to every container-like class. Static type checking should not be a tradeoff and there’s no fundamental reason these limitations can’t be lifted.

Source: mortoray.com