A question about GHC-5.03

Thu, 14 Feb 2002 10:51:30 +1000

This is a multi-part message in MIME format.

------=_NextPart_000_0025_01C1B545.8F5EA540
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

One of the new features of the latest snapshot of GHC is that :

"The type system now supports arbitrary rank polymorphism, given =
appropriate type annotations."

Could you point me to some literature on this feature and how it is =
used?

I'm familiar with rank-2 polymorphic types.  I am not however familiar =
with what an "appropriate type annotation" is.

Sean Seefried

------=_NextPart_000_0025_01C1B545.8F5EA540
Content-Type: text/html;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=3D"text/html; charset=3Diso-8859-1" =
http-equiv=3DContent-Type>
<META content=3D"MSHTML 5.00.2614.3500" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT size=3D1>
<P><FONT face=3DArial size=3D2>One of the new features of the latest =
snapshot of GHC=20
is that :</FONT></P>
<P><FONT face=3DArial size=3D2>"The type system now supports arbitrary =
rank=20
polymorphism, given appropriate type annotations."</FONT></P>
<P><FONT face=3DArial size=3D2>Could you point me to some literature on =
this feature=20
and how it is used?</FONT></P>
<P><FONT face=3DArial size=3D2>I'm familiar with rank-2 polymorphic =
types.&nbsp; I=20
am not however familiar with what an "appropriate type annotation"=20
is.</FONT></P>
<P><FONT face=3DArial size=3D2>Sean =
Seefried</FONT></P></FONT></DIV></BODY></HTML>

------=_NextPart_000_0025_01C1B545.8F5EA540--