Re:Coq mulls new name for programming language
by Zababa on Tuesday June 15, 2021 @07:37AM
(#27513805)
> Imagine for a second that your favourite programming language or the one you use at work was called "Penis"
No need to imagine, "bit" is pronounced in French exactly like "bite", which means basically the same thing as "cock".
> How fun would it be when you told someone "we use Penis where I work to implement our AwesomeSoftware™?
You get used to it. Talking about "cock twiddling" sounds strange at first, and is annoying. But since we're French we can't really hope that this will change anytime soon.
No need to imagine, "bit" is pronounced in French exactly like "bite", which means basically the same thing as "cock".
> How fun would it be when you told someone "we use Penis where I work to implement our AwesomeSoftware™?
You get used to it. Talking about "cock twiddling" sounds strange at first, and is annoying. But since we're French we can't really hope that this will change anytime soon.
Anyways, I'm all for changing the name, but hope we can keep the French origin. "LPC" for "Le Prouveur Coq" is a good idea https://github.com/coq/coq/wiki/Alternative-names.