3 ms·
The proposals: https://github.com/coq/coq/wiki/Alternative-names https://github.com/coq/coq/wiki/Alternative-names I particularly like Chapon, if the name was
by hadrien01 6y ago
The proposals: https://github.com/coq/coq/wiki/Alternative-names https://github.com/coq/coq/wiki/Alternative-names
I particularly like Chapon, if the name was to change (from the announcement: this is not yet a commitment toward a renaming)
- pampa 6y agoA chapon is a castrated cock. That might offend animal rights activists!
- deleted 6y ago[deleted]
- toyg 6y agoThat page is a goldmine of involuntary comedy. At the end of the day, the more languages you care about, the more likely you are to find some animal-related term that has become sexual slang somewhere at some point. I understand their predicament and agree it needs a new name though (it’s actually surprising how long they’ve gone before accepting that it’s a problem, in such an anglo-dominated field as computing). I just don’t think they’ll find a solution if they stay “around a farm”... I mean, looking at other names they have, gallina in Italian is a hen, but also a very common negative slang for “stupid woman” - any Italian woman using that language would feel horribly. The whole farm-related imagery is ripe for this sort of thing.
- boobsbr 6y agoMakes you think that Kernighan and Ritchie chose really well the least problematic name for their language.
- guram11 6y agothanks, a quick glance brought "coquito" to my attention, and ponder why "cogito" is not in the suggestion list? a nod to French philosopher René Descartes dubito, ergo cogito, ergo sum ("I doubt, therefore I think, therefore I am")