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
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
