Interesting analysis on typing use by Python core devs - the methodology is a bit weak (which the author admits) but interesting nonetheless.