On 2/10/2012 3:25 PM, Niko Matsakis wrote:
Thinking more about this, I am not sure that option #3 has any point. It
is basically the same as option #2 but less expressive. It's a case of
"when I started playing with this idea, it was different, but I found
inconsistencies and over time it evolved to be the same thing as I
started with."
Yeah, it seemed related..
Earlier last week we looked at the regions proposal[1], and I think most
of us liked the sound of it, despite some reservations about where we
draw the complexity line.
Option #2 here sounds to me a closest to a subset of the regions
proposal, maybe starting with a form where the first class references
are all in the same region, and can't be assigned. Or something
similarly restrictive. I'm most comfortable seeing you (or whoever wants
to attack this) wander down that road for a while and see what comes out.
Failing that, #1 won't be the end of the world. It just feels a bit like
the wrong direction to me, longer-term. I guess if you have it working
now ... hmm, how intrusive is it?
-Graydon
[1] https://github.com/mozilla/rust/wiki/Proposal-for-regions
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
