> sprinkling them around your code is infuriating for people dealing with your code Would this necessarily be any less true of static type annotations, though?

> sprinkling them around your code is infuriating for people dealing with your code Would this necessarily be any less true of static type annotations, though? And as for them being stripped out, yes - it's for making debugging easier, not performance.