Ashley Yakeley wrote:
"GADT" rhymes with "cat". The "d" is silent, like the Danish "godt", or
the German "Stadt", or the American trademark "Bundt".
As long as you don't pronounce it like "gat" in Dutch and Afrikaans,
which literally means "hole", but also has a vulgar sense which means
anus or ass/arse:
http://en.wiktionary.org/wiki/gat
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.
Since this thread seems to indicate that the pronunciation of GADT is up
for grabs, I propose "gaddit", as in "it's a gaddit, geddit?" or "I
prefer to rely on mipticks[*] and fundeps rather than gaddits".
Anton
[*] Don't tell me that one's not settled yet, either!
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe