On Sun, Jun 03, 2007 at 10:16:47PM -0400, Jonathan S. Shapiro wrote: > 2. Captured by-reference arguments are legal in *escaping* closures, > but a *copy* of the by-reference value is made at the time of > closure construction. > > This yields sensible behavior and preserves type safety, but it > introduces behavioral subtlety that will confuse programmers.
I think this would confuse the semantics a lot, apparently simple changes to an expression could change its behaviour considerably. > My intuition is that is is better to prohibit escaping capture of > BY-REFERENCE parameters, even if this means that we must prohibit > their capture in *all* closures. Sounds a bit strong, but at least it could be relaxed without obvious problems later. Sam _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
