A question about GHC-5.03
Simon Peyton-Jones
simonpj@microsoft.com
Thu, 14 Feb 2002 00:41:03 -0800
This is a multi-part message in MIME format.
--------------InterScan_NT_MIME_Boundary
Content-Type: multipart/alternative;
boundary="----_=_NextPart_001_01C1B533.5600EDCA"
------_=_NextPart_001_01C1B533.5600EDCA
Content-Type: text/plain;
charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
First thing to do is to read the manual (comes with the snapshot, I
hope), where I tried to document it.
Mark and I are writing the paper!
You could try "Putting type annotations to work" by Odersky and Laufer
for some useful background
=20
Simon
-----Original Message-----
From: Sean Seefried [mailto:seefried@itee.uq.edu.au]=20
Sent: 14 February 2002 00:52
To: glasgow-haskell-users@haskell.org
Subject: A question about GHC-5.03
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_001_01C1B533.5600EDCA
Content-Type: text/html;
charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; =
charset=3Dus-ascii">
<TITLE>Message</TITLE>
<META content=3D"MSHTML 6.00.2713.1100" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><SPAN class=3D012284108-14022002><FONT face=3DArial color=3D#0000ff =
size=3D2>First=20
thing to do is to read the manual (comes with the snapshot, I hope), =
where I=20
tried to document it.</FONT></SPAN></DIV>
<DIV><SPAN class=3D012284108-14022002><FONT face=3DArial color=3D#0000ff =
size=3D2>Mark=20
and I are writing the paper!</FONT></SPAN></DIV>
<DIV><SPAN class=3D012284108-14022002><FONT face=3DArial color=3D#0000ff =
size=3D2>You=20
could try "Putting type annotations to work" by Odersky and Laufer for =
some=20
useful background</FONT></SPAN></DIV>
<DIV><SPAN class=3D012284108-14022002><FONT face=3DArial color=3D#0000ff =
size=3D2></FONT></SPAN> </DIV>
<DIV><SPAN class=3D012284108-14022002><FONT face=3DArial color=3D#0000ff =
size=3D2>Simon</FONT></SPAN></DIV>
<BLOCKQUOTE dir=3Dltr=20
style=3D"PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #0000ff 2px =
solid; MARGIN-RIGHT: 0px">
<DIV></DIV>
<DIV class=3DOutlookMessageHeader lang=3Den-us dir=3Dltr =
align=3Dleft><FONT=20
face=3DTahoma size=3D2>-----Original Message-----<BR><B>From:</B> Sean =
Seefried=20
[mailto:seefried@itee.uq.edu.au] <BR><B>Sent:</B> 14 February 2002=20
00:52<BR><B>To:</B> =
glasgow-haskell-users@haskell.org<BR><B>Subject:</B> A=20
question about GHC-5.03<BR><BR></FONT></DIV>
<DIV><FONT size=3D1>
<P><FONT face=3DArial size=3D2>One of the new features of the latest =
snapshot of=20
GHC 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=20
feature and how it is used?</FONT></P>
<P><FONT face=3DArial size=3D2>I'm familiar with rank-2 polymorphic =
types. I=20
am not however familiar with what an "appropriate type annotation"=20
is.</FONT></P>
<P><FONT face=3DArial size=3D2>Sean=20
Seefried</FONT></P></FONT></DIV></BLOCKQUOTE></BODY></HTML>
------_=_NextPart_001_01C1B533.5600EDCA--
--------------InterScan_NT_MIME_Boundary--