Self type

liorean liorean at
Tue Aug 14 10:10:27 PDT 2007

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

On 14/08/07, Cormac Flanagan <cormac at> 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