[Haskell-beginners] Type classes are not like interfaces,
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