> Ben is not a native English speaker, so as stated by Ben, he didn't realize it was a big deal.
But is it an actually big deal for native speakers? I realize that some people think it's important, but then some people also think that you can't swear in comments and can't use "retard" as a summary opinion about someone else. In live, non-corporate language would any native speaker in fact routinely use "they" instead of "he" when referring to a user?
Yup, it was 100% bikeshedding, plain and simple. It's almost like we need to amend Wadler's Law to include a 4th level, "4. Politically correctness of pronouns in comments" [0]
The entire time that nerd rage battle was occurring I wanted nothing more than to be able to magically erase both the original commit and reversion from history, since it had nothing to do with the project, wasn't productive and was a distraction of many people's valuable time from things that actually matter for Node.js.
Seriously, if you want to bikeshed over pronouns instead of contribute working code, GTFO and go blag about it somewhere else.
I routinely use singular they [1] when referring to someone where gender isn't relevant. E.g., "I want to find a new doctor; they should be smarter than the fool I'm using now."
What got me going on this was Douglas Hofstadter's "A Person Paper on the Purity of Language" [2], which I read long ago in college. For me it's been a very gradual change; I don't like language forcing me in directions I don't want. Similarly, I've experimented with E-Prime [3] over the years.
> In live, non-corporate language would any native speaker in fact routinely use "they" instead of "he" when referring to a user?
Yes, lots of people choose to use words like "the user" rather than "he". Or they use "he" and "she" throughout the documentation. Or they'll use singular "they".
> But is it an actually big deal for native speakers?
For some people it is a big deal because they are that type of person. For other people it's not a big deal but they do it anyway, just because.
If you're male (or anyone else reading this), consider this cognitive frame: instead of thinking about "they" vs. "he", ask yourself if you would prefer "they" over "she". Do you feel any sort of preference for one over the other? (Honestly don't know what your answer will be, I just think it's a good way to approach the issue.)
Also: not passing any judgement on Ben's actions here, just talking about the gender politics.
I routinely read "she" in documentation to refer to the developer/user. I notice it the first time it appears in a text and then I don't anymore, it doesn't bother me in the least.
Well, I found if offensive that 9:10 examples in a sexism sensitivity training video I saw were men offending, or deriding, or otherwise abusive towards women, with only one example of the reverse.
In terms of comments in a source code or even documentation, I've read plenty of times where it's "she" or "he" and honestly don't care too much... "they" imho is a bit too generic and would rather see "the user" or just "user" as the generic.
I think it's mostly bullshit. Even more so given that some words in many languages have a gender leaning... is it "le user" or "la user"? Given that, one would probably be more appropriate.
I'm male, and I will choose he or she or they pretty much arbitrarily. Usually it's "they". I believe that at some point in the recent past, people preferred "she" for an anonymous pronoun for some kinds of writing.
Each person makes his own decision about this, but some prefer to use "they". To each his own.
Everyone has his own reason for choosing a particular pronoun. Some people do it because they think it is less sexist. Some people do it because they want to be part of the in-group, and they see others doing it. Some people are personally offended by the generic "he" and want to refer to both genders so they use the singular "they" or the awkward "he/she".
But is it an actually big deal for native speakers? I realize that some people think it's important, but then some people also think that you can't swear in comments and can't use "retard" as a summary opinion about someone else. In live, non-corporate language would any native speaker in fact routinely use "they" instead of "he" when referring to a user?