TecNoticias, tu portal de información

El lenguaje de programación Coq está buscando un cambio de marca debido a que suena como el término de la jerga en inglés para una determinada parte del cuerpo de la anatomía masculina.

Coq es un lenguaje de programación funcional de tipo dependiente creado por primera vez por Gérard Huet y Thierry Coquand. El desarrollo de Coq ha sido apoyado desde 1984 por INRIA, École Polytechnique, University of Paris-Sud, Paris Diderot University y CNRS.

Sin embargo, el nombre del lenguaje y su asociación con la anatomía masculina supuestamente ha desanimado a algunas personas de participar en el desarrollo del lenguaje.

Casi tres décadas después, el wiki del proyecto de Coq, actualizado por última vez el viernes, dice que está buscando cambiar el nombre.

“Esta similitud (con el término del argot de anatomía masculina) ya ha llevado a que algunas mujeres se alejen de Coq y que otras sean acosadas cuando dijeron que estaban trabajando en Coq”, afirma la wiki del proyecto, actualizada por última vez el viernes. "También hace que algunas conversaciones en inglés sobre Coq con laicos sean simplemente más difíciles".

Muchos nombres alternativos sugeridos han seguido siendo problemáticos.

La palabra latina para gallo, gallus, fue rechazada por sonar demasiado a falo. "Cocon", sugerida como la palabra francesa para capullo, fue rechazada por razones similares ya que "con" es la jerga francesa para una parte de la anatomía femenina.

Coqi parece que podría tener potencial, ¿verdad? Con la "i" agregada que representa la inducción, ¿la técnica de prueba matemática? No, Coqi aparentemente suena como "коки" en ruso, que es el argot de otra característica de la anatomía masculina.

Antes de que comencemos a pensar que cada sugerencia se vinculará de alguna manera con los genitales en el vasto y creciente vocabulario de jerga de al menos un idioma, la sugerencia de "Coquand" está demostrando ser una opción bastante popular. El nombre no se aleja demasiado del original mientras elimina la asociación problemática directa y rinde homenaje a uno de los creadores originales, Thierry Coquand.

Personalmente, creo que adoptar Coquand y simplemente adoptar una convención de nomenclatura para las versiones. Necesitamos más humor en el mundo, por juvenil que sea. Trae el lanzamiento de Coquand "Balls".

(Foto de Ashes Sitoula en Unsplash)

¿Quiere aprender sobre DevOps de parte de los líderes en el espacio? Consulte la Cumbre DevOps-as-a-Service, que tendrá lugar el 7 de octubre de 2022, donde los asistentes conocerán los beneficios de crear colaboración y asociaciones en la entrega.
Etiquetas: codificación, coq, lenguaje coq, desarrollador, desarrollo, destacado, lenguaje, programación