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


The 29 July manual claims

1. (LAMBDA ...) is not evaluable.


2. '(LAMBDA ...) is a valid function.

On 1, I see no reason for (LAMBDA ...) not to evaluate to a function
(i.e. as if it had (FUNCTION ...) wrapped around it).  So why not
allow it?  Scheme pioneered this, and I think it was quite

On 2, isn't allowing this inviting users to screw themselves now
that we've got lexical scoping?  E.g.
	(LET ((A ...)) (SORT L '(LAMBDA (X Y) (< X (- Y A)))))
won't get the locally bound A.