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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
