Название языка программирования Coq хотят подвергнуть ребрендингу из-за того, что оно звучит как английский сленговый термин для обозначения определенной мужской анатомической части тела. Уже предложено множество вариантов, но большая часть до сих пор ассоциируется с гениталиями.
Coq — это функциональный язык программирования с зависимой типизацией, созданный Жераров Юэ (Gerard Huet) и Тьерри Коканом (Thierry Coquand). Разработка Coq поддерживается с 1984 года, однако название языка и его связь с мужской анатомией якобы оттолкнули некоторых людей от участия в развитии языка.
Теоретической базой Coq считается исчисление конструкций. В названии скрыта его аббревиатура (CoC, calculus of constructions) и сокращение от фамилии создателя исчисления — Тьерри Кокана.
В репозитории проекта говорится, что от проекта уже отвернулись многие женщины-разработчики, некоторых беспокоит тот факт, что они «работают на Coq» (working on Coq), также это затрудняет разговоры о языке на английском с непрофессионалами.
Начался процесс подбора нового названия. Среди кандидатов было:
i
на конце (coqi), как индукция, звучит неплохо, но по-русски читается как «коки», что является сленгом, обозначающим еще одну особенность мужской анатомии.Пока самым популярным вариантом считается Coquand. Название не слишком далеко от оригинала, но устраняет проблемную ассоциацией и отдает дань уважения одному из основателей, Тьерри Коквану.
Сегодня мы поговорим о том, как выбрать лучшие курсы Power BI в Украине, особенно для…
В 2023 году во всех крупнейших регионах конкуренция за вакансию выросла на 5–12%. Не исключением…
Unicorn Hunter/Talent Manager Лина Калиш создала бесплатный трекер поиска работы в Notion, систематизирующий все этапы…
Edtech-стартап Mate academy принял решение отправить своих работников в десятидневный отпуск – с 25 декабря…
Служба безопасности Украины задержала в Киеве 46-летнего программиста, который за деньги устанавливал шпионские программы и…
IT-специалист Джордан Катлер создал и выложил на Github подборку разнообразных ресурсов, которые помогут достичь уровня…