@diazona @isagalaev @mitsuhiko For example, the Ethereum 2 (or whatever, the proof-of-stake stuff) specifications literally used Python for their example / pseudo code (and even had unit-tests for them).
Pretty hard to do that with type-hints involved.
There's also a "Python3" level of extra work for library authors. I kind of dread the first ticket filed for "give me type-hints in txtorcon" -- because if one dep lacks type-hints, many benefits go away.