Python is DOOMED! Again!

[Paul Rubin]

>> correctly https://www.python.org/dev/peps/pep-0484/#usage-patterns
> That's not evidence, that's a prophecy.
> What I'm seeing is a bad shift in the Python culture. What's next?
> Unboxed objects? Unsafe objects? Micromanaged GC?

Why are you freaking out so much?  The "prophecy" is for something like
the Erlang Dialyzer, which has been very successful and useful in the
Erlang world.  Erlang is still dynamically typed (it's essentially Lisp
under the skin) but you can include some annotations that let external
tools (Dialyzer) check your program for type consistency.  Lots of bugs
in supposedly reliable production code were found after the Dialyzer was
deployed.  It would be great to have something like it for Python.