>> 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. -- https://mail.python.org/mailman/listinfo/python-list