On 16/03/2008, ajb@spamcop.net wrote:

Quoting Ashley Yakeley :

...

"GADT" rhymes with "cat". The "d" is silent, like the Danish "godt", or the German "Stadt", or the American trademark "Bundt".

I pronounce it so that it rhymes with "ADT".

Clearly, this pronounciation is "gay dee tea." I always new those types were a bit queer. Jeremy

On Mar 16, 2008, at 6:01 , ajb@spamcop.net wrote:

G'day all.

Quoting Jeremy Apthorp :

...

Clearly, this pronounciation is "gay dee tea." I always new those types were a bit queer.

Not that there's anything wrong with that.

A bit short of "gaiety"? -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH

ajb@spamcop.net wrote in article <20080316060135.r9v6u6dkgsg00ow0@webmail.spamcop.net> in gmane.comp.lang.haskell.cafe:

Quoting Jeremy Apthorp :

...

Clearly, this pronounciation is "gay dee tea." I always new those types were a bit queer. Not that there's anything wrong with that.

... If it type-checks, it must be correct! I thought the "t" was silent as well, an unaspirated stop? Egad! -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig Is mathematics a syntax of language?

Anton van Straaten wrote:

Those who believe that GADTs are unnecessary might appreciate the guttural pronunciation of "gat": which is something like "chut" where the "ch" is similar to that in "loch", and for good measure, it rhymes with "slut" (at least in Afrikaans). It lends itself well to being uttered contemptuously.

Who thinks GADTs are unnecessary, and why? -- Ashley Yakeley

And is the plural 'gatte'? :) On Mar 16, 2008, at 11:18 PM, Anton van Straaten wrote:

Ashley Yakeley wrote:

...

Anton van Straaten wrote:

...

Those who believe that GADTs are unnecessary might appreciate the guttural pronunciation of "gat": which is something like "chut" where the "ch" is similar to that in "loch", and for good measure, it rhymes with "slut" (at least in Afrikaans). It lends itself well to being uttered contemptuously. Who thinks GADTs are unnecessary, and why?

I was thinking of this:

http://lambda-the-ultimate.org/node/2692

and this:

http://article.gmane.org/gmane.comp.lang.haskell.general/14764

These links may give some clues as to "who", but I wasn't really thinking of anyone in particular.

Anton

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Op 17-mrt-2008, om 5:39 heeft Emir Pasalic het volgende geschreven:

And is the plural 'gatte'? :) Not in Dutch, then it's 'gaten' (which is irregular, and the Afrikaners don't like irregularities, so they regularized it).

Reinier