16 Mar
2008
16 Mar
'08
11:18 p.m.
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