It appears that the author uses adoption as his main metric of what works. It's also quite hilarious that the author lists fancy type systems as a definite No,

It appears that the author uses adoption as his main metric of what works. It's also quite hilarious that the author lists fancy type systems as a definite No, but formal methods as a maybe.