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

Issue: LET-TOP-LEVEL (version 1)

re: [re-grinding]

Good.  I do it too.  The only reason I mention it here is to ask anyone
else who cares about it to raise their objections now, or forever ...

re:     ...  so that anything said about "anonymous lambdas" should also be 
	equally applicable to "defun"'s.
    The relevant sentence is on page 67: "Other implementation-dependent
    bookkeeping actions may be taken as well by DEFUN."

I don't believe that the sentence about "Other implementation-dependent ..."
negates the understanding of DEFUN as basically a rewrite to

        (setf (symbol-function 'foo) #'(lambda (x y ...) ...))

If anything needs "clarifying" around this topic, perhaps it should be
just that.  In particular, the sorts of things I imagine would legitimately
fall into "Other implementation-dependent ..." are items like hooks for
cross-referencing programs, file-indexing programs, extensions the
normal error-signalling upon redefinition (to facilitate "patch" files etc).
But nothing that would change the underlying equation of DEFUN's with
named lambda functions.

[Now, the corresponding issue re DEFMACRO isn't so nice.  I hope some
excuse can be found to do the simple thing with it too, rather than
requiring some singular behaviour with regard to capturing lexical
environments.  But this is another issue, another can of worms.]

-- JonL --

P.S. Apparently the return address in your messages isn't good enough
     to be used through Labrea.Stanford.edu; do you have another?