I get the feeling that you didn't watch the talk. He specifically talks about the field making large decisions based mostly on dogma and that evidence should b

I get the feeling that you didn't watch the talk. He specifically talks about the field making large decisions based mostly on dogma and that evidence should be used to make those decisions instead. He's trying to advocate the use of the scientific method as applied to language design choices. He admits that the papers he cites are too few to make large decisions and that the analysis he does by looking at how many issues on GitHub are actually caused by type system errors (1-5%) but he's trying to steer away from dogmatism in favor of empirical evidence.