6 ms·

I assume that this wasn't originally created by an English-speaking dev team? Or at least a very serious and formal one?

liotier 11y ago
It originated in France (see https://coq.inria.fr/about-coq https://coq.inria.fr/about-coq). In French, 'coq' means 'rooster' - the language that implements Coq is named Gallina and the logo is indeed a rooster. Well, no worse an homophone than 'bit' to French speakers...
throwaway999666 11y ago
The language and ideas behind it seems pretty serious. But they might consider pissing off particularly prudish Americans to be a bonus.
- justinpombrio 11y ago
  A few timid speakers will mispronounce it like "coke", but everyone knows they're saying it wrong.
  - eli_gottlieb 11y ago
    It's pronounced identically to "caulk", though, not "cock".
    - davidgay 11y ago
      More like somewhere in between, really.
    - davidgrenier 11y ago
      Not 100% confident on how people pronounce "cock" but it's definitely not close to "caulk". Being a french speaker, I would say pronunciation is closer to "puck" with a k, so go with "Kuck".
    - Afton 11y ago
      In my idiolect, those two words are homonyms. When I worked construction, you couldn't ask someone for caulk without raucous laughter. http://dictionary.reference.com/browse/caulk http://dictionary.reference.com/browse/caulk this link seems to agree, with the word represented in IPA as [kɔːk]
    - innguest 11y ago
      More information about who in the US has and hasn't merged those two sounds: https://en.wikipedia.org/wiki/Phonological_history_of_English_low_back_vowels#Cot.E2.80.93caught_merger https://en.wikipedia.org/wiki/Phonological_history_of_Englis... It's the cot-caught merger.
- cjensen 11y ago
  Intentionally pissing off people is childish. Using the name of this language in a workplace creates a hostile working environment[1]. That guarantees that no sensible person in the English speaking world will ever use the language at work. [1] https://en.wikipedia.org/wiki/Hostile_work_environment https://en.wikipedia.org/wiki/Hostile_work_environment
  - throwaway999666 11y ago
    > Using the name of this language in a workplace creates a hostile working environment[1]. Oh my, thanks for the laugh. I half imagined a Dilbert scenario when reading that. It's weird to think of the simultaneous uptightness and childishness which would make it impossible to use this homonym in the proper context.
groar 11y ago
There are many reasons for the name: apart from being one of France's emblems, one of the people who initiated the project is Thierry Coquand and the original type system underlying it is called Calculus Of Construction (CoC). But I know for a fact that they thought it would be good joke as well. Or at least a very [...] formal one That's a good one ;)

liotier 11y ago

It originated in France (see https://coq.inria.fr/about-coq https://coq.inria.fr/about-coq). In French, 'coq' means 'rooster' - the language that implements Coq is named Gallina and the logo is indeed a rooster. Well, no worse an homophone than 'bit' to French speakers...

throwaway999666 11y ago

The language and ideas behind it seems pretty serious. But they might consider pissing off particularly prudish Americans to be a bonus.

justinpombrio 11y ago
A few timid speakers will mispronounce it like "coke", but everyone knows they're saying it wrong.
- eli_gottlieb 11y ago
  It's pronounced identically to "caulk", though, not "cock".
  - davidgay 11y ago
    More like somewhere in between, really.
  - davidgrenier 11y ago
    Not 100% confident on how people pronounce "cock" but it's definitely not close to "caulk". Being a french speaker, I would say pronunciation is closer to "puck" with a k, so go with "Kuck".
  - Afton 11y ago
    In my idiolect, those two words are homonyms. When I worked construction, you couldn't ask someone for caulk without raucous laughter. http://dictionary.reference.com/browse/caulk http://dictionary.reference.com/browse/caulk this link seems to agree, with the word represented in IPA as [kɔːk]
  - innguest 11y ago
    More information about who in the US has and hasn't merged those two sounds: https://en.wikipedia.org/wiki/Phonological_history_of_English_low_back_vowels#Cot.E2.80.93caught_merger https://en.wikipedia.org/wiki/Phonological_history_of_Englis... It's the cot-caught merger.
cjensen 11y ago
Intentionally pissing off people is childish. Using the name of this language in a workplace creates a hostile working environment[1]. That guarantees that no sensible person in the English speaking world will ever use the language at work. [1] https://en.wikipedia.org/wiki/Hostile_work_environment https://en.wikipedia.org/wiki/Hostile_work_environment
- throwaway999666 11y ago
  > Using the name of this language in a workplace creates a hostile working environment[1]. Oh my, thanks for the laugh. I half imagined a Dilbert scenario when reading that. It's weird to think of the simultaneous uptightness and childishness which would make it impossible to use this homonym in the proper context.

groar 11y ago

There are many reasons for the name: apart from being one of France's emblems, one of the people who initiated the project is Thierry Coquand and the original type system underlying it is called Calculus Of Construction (CoC). But I know for a fact that they thought it would be good joke as well. Or at least a very [...] formal one That's a good one ;)