Re: Thanks, and new question re existensials

[Theo Norvell]

On Sat, 6 Nov 1999, Lennart Augustsson wrote:

> Implementing existentials without a context is very easy.  It took less than a
> day in hbc.  But when you want to handle a context on the type variable
> as well, which is when it gets interesting, is more complicated.

Are there any tutorials or basic papers on the use of existentials
in Haskell. I have the old Wegner and Cardelli paper, but that
wouldn't address type classes and such-like.
Papers on implementation would also be interesting
(I have Nigel's paper, but again the interactions with
some of Haskell's other features are interesting.)

Cheers,
Theo

----------------------------
Dr. Theodore Norvell                                           [EMAIL PROTECTED]
Electrical and Computer Engineering                http://www.engr.mun.ca/~theo
Engineering and Applied Science                           Phone: (709) 737-8962
Memorial University of Newfoundland                         Fax: (709) 737-4042
St. John's, NF, Canada, A1B 3X5