I agree that cringe is relative. To me, static-typing proponents usually emit terribly cringy memes. By failing to think categorically, they fail to see that st

I agree that cringe is relative. To me, static-typing proponents usually emit terribly cringy memes. By failing to think categorically, they fail to see that static typing and dynamic typing are two different facets of the same raw computational structures. I used to consider those discussions as bingo cards, examining each trite argument and carefully constructing responses that would dissemble them. My goal was to try to deprogram folks, to help them realize that there is a world beyond Haskell. I gave up after a uniquely unpleasant experience: A prominent Haskeller gave an extended analogy in public chat about statically-typed and dynamically-typed people. In this analogy, statically-typed people were more reliable, predictable, punctual, thrifty, and just generally better people. And of course they favored statically-typed languages. Cringe leeds to sneer. It's obvious that the NPCs don't understand what they're saying; they spout the words, but the meanings aren't really there and so they cannot reason about their own slogans. This is contemptible, and so one tribe learns to sneer at another tribe, taking their slogans and twisting them into insults. I think that sneer leads to sarcasm by default. Nobody can really tell whether somebody is a genuine member of a tribe, or a sneering troll highlighting the cringe of being genuine. Therefore we say two-faced slogans, like "X sucks, use X" and "thanks, I hate it" and "I am so tired of X" to indicate that we dually are members and also sneerers. We are in on our own joke of being serious about things that nobody ought to be serious about.