[Grace-core] Name resolution

Andrew P. Black andrew.p.black at gmail.com
Mon Mar 23 14:40:17 PDT 2015


On 22 Mar 2015, at 23:48, James Noble <kjx at ecs.vuw.ac.nz> wrote:

> 
> On 22/03/2015, at 23:16, Andrew P. Black wrote:
> 
>>> if all self requests had to use an explicit self, then lexical bindings and
>>> dynamic bindings would be syntactically distinguishable — this is the
>>> AmbientTalk solution, I believe
> 
> yes, that's right.  The problem is that means we have to tell programmers 
> at every turn when to write "x"  and when to write "self.x" - and we have to
> explain the difference

Indeed, we would.   That seems to be a feature of Michael’s proposals too, if I understand what he is proposing.
That is, under “local”:

	object {
		def x = …
		
		x

	}

the request of ‘x' would be locally bound, and not subject to being overridden.

	Andrew




More information about the Grace-core mailing list