Après trois décennies, Coq, un langage de programmation de démonstration de théorèmes développé par des chercheurs en France, est en train d’être adapté pour un nouveau nom car il est devenu impossible d’ignorer que cela ressemble à de l’argot obscène en anglais.

Autrefois appelé CoCAbréviation de Calculus of Constructions, le langage de programmation est devenu Coq lorsque les travaux ont commencé sur la version 5 en 1989.

Le nom, selon l’ingénieur logiciel Théo Zimmermann entrée initiale au wiki Coq GitHub du 6 avril – c’est une référence au mot français pour « coq », à Building Calculation, et aux contributions de Thierry Coquand, l’un des créateurs du langage.

Coq sonne également comme « coq », qui, tout en signifiant à la fois « un coq mâle » et « se prosterner », peut être utilisé de manière informelle pour désigner l’anatomie masculine. Et pour certaines personnes, cela décourage l’engagement communautaire.

« Cette similitude a déjà conduit certaines femmes à se détourner de Coq et d’autres à être harcelées lorsqu’elles ont dit qu’elles travaillaient sur Coq », a déclaré le wiki du projet, mis à jour vendredi pour la dernière fois. Expliquer. « Cela rend également certaines conversations en anglais sur Coq avec des laïcs plus difficiles. »

Les changements dans la terminologie technologique ont affecté les communautés en ligne ces dernières années, car les efforts visant à rendre l’informatique et d’autres domaines plus accueillants pour un ensemble plus diversifié de personnes ont conduit à la désapprobation et à la suppression de termes qu’ils portent un bagage culturel comme « maître »,  » trimer ». , «  » liste noire  » et  » liste blanche « .

READ  Le compte à rebours de la répétition générale prépare le terrain pour le lancement de SpaceX Crew Dragon

Esto ha sido particularmente evidente en las comunidades de código abierto basadas en voluntarios, donde la necesidad de formalizar la gobernanza a través de códigos de conducta ha encontrado una resistencia frecuente entre las personas que resienten la imposición de reglas en una esfera en la que antes actuaban illimité.

La communauté Coq est passée par là en 2017 et 2018 quand il y avait un débat sur la nécessité d’un code de conduite – abrégé de manière confuse un CoC dans certains fils de discussion.

L’utilisation flagrante du Coq n’est pas vraiment nouvelle. Les membres de la communauté ont été conscient du potentiel des jeux de mots pendant des années. Mais avec autant de projets essayant d’être plus accueillants pour les nouveaux contributeurs, le langage de programmation est enfin devenu sérieux.

Les membres de la communauté Coq ont entrepris le travail ingrat d’évaluer les dizaines de nouveaux noms suggérés et, après plus de deux mois de discussion et de mises à jour du wiki, en ont déjà rejeté beaucoup pour des défauts évidents.

Par exemple, « Gallus, « le mot latin pour » coq « a été abandonné car, encore une fois, il sonne comme un mot désignant une partie de l’anatomie masculine.

Ensuite ceci « coq, « où l’ajout » i  » représente l’induction, une technique de preuve mathématique. Malheureusement,  » coqi « , sonne comme « du Coca, « évoquant l’argot russe pour une autre caractéristique anatomique masculine.

Pourquoi pas « Cocon, « Le mot français pour » cocon  » ? Eh bien,  » con  » n’est pas très poli en français, car c’est de l’argot pour une partie de l’anatomie féminine. Le wiki du projet note que cela est susceptible de conduire à plus de blagues, ce qui est le problème qui a déclenché tout l’effort de changement de nom.

READ  Nuela Charles présente sa nouvelle chanson, "Awakening"

Et si « Un d, « Portugais pour un groupe de coqs ? Euh, non. Une autre référence d’anatomie masculine en argot français.

Mais il existe des propositions plus prometteuses. Une solution possible est d’étendre « Coq » à « Coquand, « puisque le nom de la langue est déjà dérivé, au moins en partie, de l’un de ses principaux créateurs. Il existe un précédent pour la marque basée sur l’hommage avec des langues comme Ada, Pascal et Haskell. On ne sait pas comment le d’autres se sentiraient des collaborateurs du Coq à cet égard.

Nommer est difficile. Sans jeu de mots. ®