3 ms·
Fwiw this absolutely doesn't match my experience with pytype, both on my own work and, as I understand it, "at scale".
by joshuamorton 5y ago
Fwiw this absolutely doesn't match my experience with pytype, both on my own work and, as I understand it, "at scale".
- globular-toast 5y agoAh yes... good old anecdotal evidence.
- joshuamorton 5y agoThe org I'm in regularly publishes peer reviewed papers on engineering productivity (including on this particular subject!). It's far less anecdotal than a random talk by a random dude.
- globular-toast 5y agoCould you kindly link to one of those papers?
- joshuamorton 5y agohttps://storage.googleapis.com/pub-tools-public-publication-data/pdf/b031c1c4a85542ced86e8536ec2380db72d86ab8.pdf https://storage.googleapis.com/pub-tools-public-publication-... for ane example not directly related to python (a migration from stronger than python to even stronger caught some, though a small number of errors). I've also written about this publicly before, e.g. https://mail.python.org/archives/list/typing-sig@python.org/thread/ENTSMRILZN5YERQFSTWJXLDGX7KGH5DG/ https://mail.python.org/archives/list/typing-sig@python.org/..., where I found a number of errors by tweaking pytype in a way to make it stronger. It's difficult to quantify what percentage of bugs would have been found anyway, but pretty much any time the type systems I work with improve, it uncovers new bugs.