Reminds me of a time when i created a library to work with iterators in lisp, inadvertently naming it cl-iterators[0], as far as the naming convention of common lisp libraries went at that time. Some folks(including me!) on reddit had lots of fun with the unfortunate name.<p>[0] <a href="https://github.com/ykm/critter">https://github.com/ykm/critter</a>
I don’t have an opinion on the decision to change, but it’s a shame they switched to one so similar to <a href="https://www.roc-lang.org/" rel="nofollow">https://www.roc-lang.org/</a><p>I assume avoiding confusion is part of the motivation for adding the stylised “q” at the end, but even so…
What a sad day if it's acted, as a native french I always got a little chuckle that there is a slight comeuppance for the fact that 'bit' (and also 'byte' in a lesser measure) is pronounced exactly like 'bite', which is french for 'cock'.<p>It's harmless fun, and also a taste of the cultural hegemony the non-anglosaxon world get (I realize the irony of saying that as a french).
Kind of telling that they don't give a reason. Also "The Rocq Prover" is a terrible name. If you're going to go to the effort of renaming at least come up with a good one!<p>I wonder if anyone has tried to rename Git (roughly equivalent to 'asshole' in American).
It is worth reading the entire roadmap. These are all comprehensible and important points.<p>Coq seems to be a perpetual construction site.<p>Ltac -> Ltac2<p>Prop -> Sprop<p>On the other hand, my personal gimmicks a few years ago only touched on a tiny range of functions of the then Coq.<p>Therefore, I assume that most Coq users see more stability than you would think.
The page summarizing the considered new names and their pros/cons is interesting: <a href="https://github.com/coq/coq/wiki/Alternative-names">https://github.com/coq/coq/wiki/Alternative-names</a><p>Naming is hard...
English is not the only language.<p>America is not the only country, and theirs is not the only culture.<p>Problem solved by pronouncing it "cee-oh-queue".<p>The idiots won again.
Cool, now I can recommend it to female devs to learn, without anyone getting uncomfortable.<p>With the growth of lean, I suppose its time to get more serious in popularizing and attracting community instead of trying to pursue harmless chuckles.<p>Edit:<p>And I immediately get labeled as a "tranny protector".
I'm not from the western world and we do not have the same cultural issues.<p>What I meant is, in a world where English nevertheless dominates as a common language by far, perhaps naming matters in the English context much more than any other language, particularly when building something for everyone.<p>Edit Edit:<p>I mean I had no idea there were such strong feelings of what i suppose is being perceived as American/English cultural interference that's felt so strongly by the French.<p>Maybe that's what Africans feel who were colonised by French Coqs (national animal)?<p>I now completely agree it is a brilliant idea to name something "cunt" in honour of Louvre Cuntadoodleur. :D