Self type

liorean liorean at gmail.com
Tue Aug 14 10:10:27 PDT 2007


> Peter Hall wrote:
> > type B = {b:Self};

On 14/08/07, Cormac Flanagan <cormac at soe.ucsc.edu> wrote:
> Yes, I think this should be fine.

I'm all for allowing recursive structural types e.g. for use as binary
trees or linked lists.

    type BinTree = {sin:Self, dx:Self, value:*};
-- 
David "liorean" Andersson



More information about the Es4-discuss mailing list