On 04-Nov-1999, Ronald J. Legere <[EMAIL PROTECTED]> wrote:
>
> If existential types are so natural [...] then
> why arent they part of the types system from the get go?
Implementing existential types is a non-trivial task.
> Back to wonderign why they arent part of Haskell 98,
Mainly for historical reasons / "hysterical raisons" ;-),
I think. At that time they were not so well understood,
not so widely implemented, and so forth.
> or even mentioned
> in the Haskell 2 stuff (on the 'future of haskell' on the haskell
> page.
I would be very suprised (and disappointed!) if Haskell 2
does not include support for existential types.
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.
