> Many people have said this, but I still haven't found an instance where
> existential types are *needed*. For example, if you declare a data type:
How about this? Is the following example possibly accepted in any extended
Haskell system?
class Sequence seq a where
empty :: seq a
cons :
Jaewoo Kim wrote:
>
> > Many people have said this, but I still haven't found an instance where
> > existential types are *needed*. For example, if you declare a data type:
>
> How about this? Is the following example possibly accepted in any extended
> Haskell system?
>
> class Sequence seq a
This is a multi-part message in MIME format.
--=_NextPart_000_00BE_01BEF3AE.A7BAD150
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
PhD and POST-DOC POSITIONS AVAILABLE
Department of Computer Science
Utrecht University
The Netherlands
http
Manuel M. T. Chakravarty writes:
> [EMAIL PROTECTED] wrote,
>
> > Manuel M. T. Chakravarty writes:
> > > "Erik Meijer" <[EMAIL PROTECTED]> wrote,
> > [...]
> > > I understand that the fact that COM fixes the binary
> > > interface makes it much easier to deal with.
> >
> > I don't und
Folks, don't forget the ICFP programming contest! It's a 3-day
programming challenge, aimed primarily at the FP community.
There's a 1-day 'blitzkrieg' version, aimed at people (like
me) who have families that won't tolerate absence for a weekend.
You can do it all 5pm Thurs - 5pm Fri!
ht
Gentle colleagues
It has gradually become clear that the GHC and Hugs developers
(mostly, but not entirely, at Microsoft Research and OGI) have
become a bottleneck when it comes to discussing and refining
proposals for enhancements to GHC, Hugs, and (soon, soon) the
glorious combination thereof.
