@isagalaev I 100% agree with what seems to be @mitsuhiko 's main point there: that trying to bolt typing onto Python is not a great idea, and has led to *far* less readable Python, overall.
If you want a strongly-typed language, there are plenty to choose from.
#python #haskell
(I too don't want to re-hash all the argument for or against types, and I do know C++, Java and at least enough Haskell to be dangerous)