type equivalency
Cagdas Ozgenc
co19@cornell.edu
Wed, 5 Jun 2002 15:33:33 +0300
This is a multi-part message in MIME format.
------=_NextPart_000_0076_01C20CA6.5A0B0010
Content-Type: text/plain;
charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
Greetings.
I know 2 special type constructors(there might be other that I do not =
know yet) -> and ( , ) where structural type equivalency is enforced =
and we can also create new types with an algebric type constructor =
notation where name equivalency is enforced.
What is the rationale? I mean why 2 special type constructors, but not =
5, or 10 or N?
Thanks for taking time.
------=_NextPart_000_0076_01C20CA6.5A0B0010
Content-Type: text/html;
charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=3D"text/html; charset=3Dwindows-1252" =
http-equiv=3DContent-Type>
<META content=3D"MSHTML 5.00.3504.2500" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>Greetings.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=3DArial size=3D2>I know 2 special type =
constructors(there might be=20
other that I do not know yet) -> and ( , ) where structural =
type=20
equivalency is enforced and we can also create new types with an =
algebric type=20
constructor notation where name equivalency is enforced.</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=3DArial size=3D2>What is the rationale? I mean why 2 =
special type=20
constructors, but not 5, or 10 or N?</FONT></DIV>
<DIV> </DIV>
<DIV><FONT face=3DArial size=3D2>Thanks for taking =
time.</FONT></DIV></BODY></HTML>
------=_NextPart_000_0076_01C20CA6.5A0B0010--