Re: local binding, too local...

[Jean-Christophe Helary]

> On Dec 9, 2018, at 6:59, <tomas@tuxteam.de> <tomas@tuxteam.de> wrote:
> 
> On Sat, Dec 08, 2018 at 11:45:32PM +0900, Jean-Christophe Helary wrote:
>> Thank you Tomas.
>> 
>> So can you say that "binding" is like "creating" a variable ?
> 
> No (at least not in this Lisp context). It's more like associating
> a name with a variable.

But there must be something that's created that did not exist before that 
"binding" right ?

>> While assigning is just putting a value in that variable ?
> 
> Kind of, yes. Reality is a bit more complex, though...
> 
>> I remember in my math classes, when we were using x and y, etc. we were 
>> binding x and y, right ? And then when we had values for x and y we were 
>> assigning values. Is that correct ?
> 
> In maths, binding means associating a value with a name, that's easy.
> And there's no correspondence for assignment. You can substitute a
> bound variable (say x is bound to 5) by for its value everywhere.
> 
> "Assigning 7 to x" wouldn't make much sense in maths, because it would
> amount to assigning 7 to 5.

Ok so the comparison with maths doesn't work, right ?

Jean-Christophe Helary
-----------------------------------------------
http://mac4translators.blogspot.com @brandelune