Earlier quoted context omitted.
> we are starting to look like a heavily templatized cpp code Which was my main concern when type-hints were added Give a hand to the strong-typed people and they will take the whole arm. They will take Python as "now it's like Java" and will push it all the way through.
strong types != ugly syntax (viz. Haskell)
(Though yeah templates in C++ turn the ugliness to 11)
Not to mention Python is "strongly-typed". But it doesn't require variables to have a pre-determined type and doesn't do compile time type checks by itself.