On Wed, 2008-12-17 at 21:31 +0000, Andrew Coppin wrote:
Jonathan Cast wrote:
{-# LANGUAGE ExistentialQuantification #-}
Hmm, now if this was Perl or something, that would be HiddenTypeVariables or something. Much less fearsom-sounding.
No, it's cute. Repulsively so.
Right. So giving things meaningful names is "repulsive"?
I reject your belief that `HiddenTypeVariables' is more meaningful than `ExistentialQuantification'. Meaning comes from previous usage, and your neologism doesn't have any.
At any rate, if we're to have a logo, let's not have one which actively *promotes* the notion that Haskell is complex and difficult and that only theoretical physicists need apply...
I'd like to hold out, again, for the idea that we get a higher-quality community by promoting that notion.
In other words, you want to keep Haskell elitist.
I think there's value in having elites around. jcc