On 1/7/13, Matt Rice <[email protected]> wrote:
> On Sat, Jan 5, 2013 at 10:02 PM, Matt Rice <[email protected]> wrote:
>
>> of implementing a queue in this style (attached).
>
> FWIW when I wrote the queue i came up with a mock syntax,
> I couldn't find it, so rewrote it then found it, *shrug* anyhow that
> is the sort of thing that i was thinking of..
>
@next{next: list('a);}
@prev{prev: list('a);}
one thing that has somewhat bothered me since the beginning is this list('a)
here,
related to that in the doubly linked version is that it imposes no
consistency on head.next (that it should have a prev, or further that
the prev should be head)
at least in the mutually recursive case, since consistency spans the
evolution of 2 objects
it is limited to constraints of mutability and field existence for a
single variable.
I somewhat draw a blank when it comes to this...
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev
