Re: list algebra
From: Jan Hidders <jan.hidders_at_REMOVETHIS.pandora.be>
Date: Fri, 02 Jul 2004 21:17:19 GMT
Message-ID: <zhkFc.172692$iz2.8598595_at_phobos.telenet-ops.be>
>
> The citation of the best intro to the idea is
>
> Harland, D., Szyplewski, M. and Wainwright, J. October 1985. An
> Alternative View of Polymorphism. SIGPLAN Notices vol.20( 10).
Date: Fri, 02 Jul 2004 21:17:19 GMT
Message-ID: <zhkFc.172692$iz2.8598595_at_phobos.telenet-ops.be>
Tony Douglas wrote:
> tonyisyourpal_at_netscape.net (Tony Douglas) wrote in message news:<bcb8c360.0407020206.1110e712@posting.google.com>...
>
>>I'll dig out an exact citation for you.
>
> The citation of the best intro to the idea is
>
> Harland, D., Szyplewski, M. and Wainwright, J. October 1985. An
> Alternative View of Polymorphism. SIGPLAN Notices vol.20( 10).
How about union types? I mean real union types, not the wimpy disjoint ones. That would allow heterogeneity. Or what about all the research that has by now been done on typing in XML? Heterogeneous lists all over the place.
- Jan Hidders