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
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.
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
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
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
> 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 :
