3 ms·
https://storage.googleapis.com/pub-tools-public-publication-data/pdf/b031c1c4a85542ced86e8536ec2380db72d86ab8.pdf https://storage.googleapis.com/pub-tools-publi
by joshuamorton 5y ago
https://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.