[Haskell-cafe] Re: GADT rhymes with cat
[EMAIL PROTECTED] wrote in article [EMAIL PROTECTED] in gmane.comp.lang.haskell.cafe: Quoting Jeremy Apthorp [EMAIL PROTECTED]: 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? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: GADT rhymes with cat
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 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: GADT rhymes with cat
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 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
[Haskell-cafe] Re: GADT rhymes with cat
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
Re: [Haskell-cafe] Re: GADT rhymes with cat
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 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] Re: GADT rhymes with cat
Emir Pasalic wrote: And is the plural 'gatte'? :) Indeed! Many a sports fan backing the wrong team at the wrong time has been told something like Ons het julle gatte lekker geskop, which is Afrikaans for We kicked your asses good. 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 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe