Re: Working with constansts

[Richard Riley <rileyrgdev@googlemail.com>]

Barry Margolin <barmar@alum.mit.edu> writes:

> In article <mailman.6953.1241976532.31690.help-gnu-emacs@gnu.org>,
>  Richard Riley <rileyrgdev@googlemail.com> wrote:
>
>> So really the question would be : why does Lisp not enforce constants
>> being, err, constant? 
>
> Because this would incur overhead on every assignment, as it would have 
> to check whether the variable being assigned was declared as a constant.  
> Since this is so rarely the case, this overhead could be seen as mostly 
> wasted and unnecessary.

I don't know enough about Lisp than I can only assume that in this case
it can not be detected at compile time IF you compile to byte/p code.

>
> On the other hand, it would be nice if the byte compiler would warn 
> about this.  Declaring a constant could put something in its property 
> list, and the compiler could then warn if it sees assignments to the 
> variable.
>
> Some Common Lisp implementations get around the overhead problem by 
> putting constants in a page of VM marked read-only, so a hardware trap 
> is raised if an attempt is made to assign it.

This makes sense. My initial enquiry was kind of "yeah, thats the way
you say it is, but should it really be like that". If you get my drift.