On Sat, 25 Dec 2010 16:38:19 -0700, Alex Khmara <alex.khm...@gmail.com>
wrote:
Well, think about pure. A pure function can call other pure functions,
because those functions declare that they obey the rules of pure (i.e.
no globals, etc). Scope variables can be passed to functions taking
scoped parameters because those functions declare that they'll obey the
rules of scope (i.e. they won't squirrel away references to it, etc).
And so we have another complication in language - another transitive
type modifier.
Well, it's only a proposal at this point. And things regarding
scope/ownership have been fairly explicitly delayed to D3.