[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Scheme-reports] Fwd: R7RS

We should fix this list's moderation policies.  Gerald's reply that
didn't seem to make it to the list:

--- Begin Message ---

I hope you are enjoying Guile!  

Making a procedure have an invariant identity does not
rule out the kind of procedure-integration optimization 
that you suggest.  It is truly a bit more work for the 
compiler.  Indeed, the compiler may integrate a procedure
passed as an argument or returned as a value, but its
identity need not change.  This takes about 1 extra word
of memory and a few extra instruction executions in the 
worst case.  (And cycles are really free, compared with
memory references, these days.)

However, maintaining logical consistency is an important
goal in language design.  The main goal of specifying a
language is not to make the job of the compiler writer
easy.  If that was the goal we could adopt "C".  We
should make a language we like.  The compiler writers I
know are surely good enough to handle small complexities
like this.


--- End Message ---

Scheme-reports mailing list