Comments on: Programming language Coq wants to change its name for obvious reasons

By: Adam

Adam — Thu, 17 Jun 2021 08:46:23 +0000

Wait so they’re settling on “cock-wand”?

By: Paras Parmar

Paras Parmar — Thu, 17 Jun 2021 08:43:19 +0000

Well, that is really unfortunate, these days something as simple as a hen or a cock has deeper implications that push people away for something no one intends to do.. It seems our language is filling up with terms we are now simply not allowed to use.

Otherwise inoffensive terms that have acquired negative connotations because someone somewhere could’nt think of a good name are:
Left vs Right
Woke vs Sleep
Straight vs Gay vs Queer
Homo vs Hetero
Male vs Female
Boy vs Girl
Sir vs Madam
If this goes on much longer, I think we will not be left with any words that donot offend no or in the future.

Ok, ok! Finally getting back to the topic at hand, how about renaming the language to CQ “see Q”

By: Henri de Feraudy

Henri de Feraudy — Wed, 16 Jun 2021 10:56:54 +0000

Thierry Coquand and Gérad Huet are extremely smart guys. This language goes far beyond just functional programming: it’s an interactive theorem prover.
How about CConstr for a new name, as its about the calculus of constructions.