Re:Software Foundations by Benjamin Pierce et al.
by javajosh on Sunday December 13, 2015 @05:51PM
(#10728319)
Uh, how do you pronounce Coq?
[ Parent
| on HN ]
Re:Software Foundations by Benjamin Pierce et al.
by tel on Sunday December 13, 2015 @09:04PM
(#10728995)
As is traditional:
You pronounce it with an understanding of how difficult it must be to speak French and have most of the CS world talk about bit twiddling.
Re:Software Foundations by Benjamin Pierce et al.
by pron on Monday December 14, 2015 @03:24AM
(#10729951)
:)
Re:Software Foundations by Benjamin Pierce et al.
by cmrx64 on Sunday December 13, 2015 @05:54PM
(#10728329)
https://translate.google.com/#fr/en/coq, click "listen". Or, in French IPA (https://en.wikipedia.org/wiki/Help:IPA_for_French), kɔk (roughly transcribed to English, "couk")
But, everyone I know (including me) who I've heard pronunce it just pronunces it "cock".