Язык программирования Coq переименуют: разработчики не хотят участвовать в его развитии из-за названия

Название языка программирования Coq хотят подвергнуть ребрендингу из-за того, что оно звучит как английский сленговый термин для обозначения определенной мужской анатомической части тела. Уже предложено множество вариантов, но большая часть до сих пор ассоциируется с гениталиями.

Coq — это функциональный язык программирования с зависимой типизацией, созданный Жераров Юэ (Gerard Huet) и Тьерри Коканом (Thierry Coquand). Разработка Coq поддерживается с 1984 года, однако название языка и его связь с мужской анатомией якобы оттолкнули некоторых людей от участия в развитии языка.

Теоретической базой Coq считается исчисление конструкций. В названии скрыта его аббревиатура (CoC, calculus of constructions) и сокращение от фамилии создателя исчисления — Тьерри Кокана. 

В репозитории проекта говорится, что от проекта уже отвернулись многие женщины-разработчики, некоторых беспокоит тот факт, что они «работают на Coq» (working on Coq), также это затрудняет разговоры о языке на английском с непрофессионалами.

Начался процесс подбора нового названия. Среди кандидатов было:

• Латинское слово gallus, обозначающее «петух», но его отсеяли из-за того, что слишком похоже на phallus;
• Французское слово cocon, обозначающее «кокон», также было отклонено, — это сленг, обозначающий женскую анатомическую часть тела;
• Coq с i на конце (coqi), как индукция, звучит неплохо, но по-русски читается как «коки», что является сленгом, обозначающим еще одну особенность мужской анатомии.

Пока самым популярным вариантом считается Coquand. Название не слишком далеко от оригинала, но устраняет проблемную ассоциацией и отдает дань уважения одному из основателей, Тьерри Коквану.