I was going to object that one reason for not using static typing is that certain perfectly reasonable patterns are difficult to describe to the type checker, e

I was going to object that one reason for not using static typing is that certain perfectly reasonable patterns are difficult to describe to the type checker, e.g. sharing tests between TestCase classes by using a mix-in – but apparently[1] Python 3.8 solved that particular case. [1] https://stackoverflow.com/a/60323489/896841 https://stackoverflow.com/a/60323489/896841