Thomas Lord scripsit:
> John Cowan wrote:
> >No, the irreplaceable thing about records, no matter how you slice it,
> >is their ability to create novel disjoint types.
>
> All you need for disjoint types is a global property table.
My meaning is that the irreplaceable feature of records-as-we-know-them
is the ability to provide types disjoint from all standard types.
I don't dispute that there are other ways to provide this feature.
--
"Well, I'm back." --Sam John Cowan <cowan at ccil.org>
Received on Fri Jul 27 2007 - 09:08:51 UTC