Second: everyone wants to look good, and it's easier to talk the talk than to walk the walk.
So you get meme sharing, slogans, and slacktivism rather than real policy proposals. You get guaranteed to fail bills in The House to make Reps look like they're fighting.
People don't support/oppose a $15 minimum wage because of economic reasons. They do so for tribal reasons.
People don't support/oppose gun control because of safety reasons. They do so for tribal reasons.
And so on, down the line.
First: people are very tribal. Even in America, where most people don't know their ancestry, or it's very mixed, people line up with their political allies in a tribelike fashion.
And this means that most of their positions are based on their tribal affiliation.
Languages with type systems designed for 1 are trying to figure out how to enable 2 without breaking backwards compatibility.
(Languages without a full runtime are in a very bad position here.)
Now the controversial part.
1 is obsolete. Modern language runtimes can use internal typing, speculation, and side exits to automatically make the speed improvements with no loss of generality.
2 is still valuable.