[Grace-core] Name resolution

[Michael Homer]

On Tue, Mar 24, 2015 at 10:40 AM, Andrew P. Black
<andrew.p.black at gmail.com> wrote:
>
> 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.
All eventual requests are dynamically dispatched on
an object found by the resolution rule, and/or an error of some sort
is reported. The resolution rules find the receiver.
-Michael