coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Arnaud Spiwack <aspiwack AT lix.polytechnique.fr>
- To: Coq Club <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] How to pronounce Coq?
- Date: Mon, 7 Jul 2014 11:24:46 +0200
Considering that "coq" and "cock" are the same word (though apparently through quite contrived and coincidental circumstances), and also that they sound practically identical, it is reasonable to say that however you would want to pronounce "cock" is the appropriate approximation of "Coq" in your particular accent or dialect.
On 5 July 2014 16:15, Benjamin C. Pierce <bcpierce AT cis.upenn.edu> wrote:
To my ear, the vowel falls exactly at the center of mass of “cock” and “coke,” perhaps with a pinch of “cook”...
- Benjamin
On Jul 5, 2014, at 9:54 AM, Benoit Montagu <benoit.montagu AT m4x.org> wrote:
> You can directly listen from the wiktionary project.
>
> The complete article in french:
> https://fr.wiktionary.org/wiki/coq
>
> And in english:
> https://en.wiktionary.org/wiki/coq
>
> The audio file:
> https://upload.wikimedia.org/wikipedia/commons/4/47/Fr-coq.ogg
>
> The wiktionary has an amazingly rich collection of audio files, in many languages.
>
> Le 04/07/2014 00:19, Richard Ford a écrit :
>> I'm relatively new to Coq.
>> What is the accepted way to pronounce "Coq"? Does/should everyone pronounce it as the French do, which I'm assuming is something like the English "coke". Or is it also acceptable to pronounce it as English speakers might assume, which would be like "cock"?
>> Just curious.
>> Rich
- Re: [Coq-Club] How to pronounce Coq?, (continued)
- Re: [Coq-Club] How to pronounce Coq?, Xavier Leroy, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Benjamin C. Pierce, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Xavier Leroy, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Jonathan, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Greg Morrisett, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Allen Brown, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Stefan Monnier, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Christophe Bal, 07/05/2014
- Re: [Coq-Club] How to pronounce Coq?, Greg Morrisett, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Jonathan, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Xavier Leroy, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Benjamin C. Pierce, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Xavier Leroy, 07/04/2014
- Re: [Coq-Club] How to pronounce Coq?, Benjamin C. Pierce, 07/05/2014
- Re: [Coq-Club] How to pronounce Coq?, Arnaud Spiwack, 07/07/2014
- Re: [Coq-Club] How to pronounce Coq?, Altenkirch Thorsten, 07/08/2014
- Re: [Coq-Club] How to pronounce Coq?, Arnaud Spiwack, 07/07/2014
Archive powered by MHonArc 2.6.18.