[Haskell-beginners] Type classes are not like interfaces, after all

Brent Yorgey byorgey at seas.upenn.edu
Fri Jan 23 14:10:57 EST 2009

On Fri, Jan 23, 2009 at 05:46:11PM +0100, Francesco Bochicchio wrote:
> 2009/1/23 Brent Yorgey <byorgey at seas.upenn.edu>
> > Now, it *is* possible to have existentially quantification in Haskell;
> > I can show you how if you like, but I think I'll stop here for now.
> >
> > Does this help?
> >
> >
> Yes thanks.
> >From other answers, I also got the essence of it, but now I know the exact
> terminology: I met the terms

Glad it helped!  And just so you know, I made a typo; that should say
'existential quantificataion', not 'existentially quantification'. =)


More information about the Beginners mailing list