Re: More static type fun.

From: Alain Picard (apicard+die-spammer-die_at_optushome.com.au)
Date: 10/27/03 

Date: Mon, 27 Oct 2003 22:04:06 +1100

Adam Warner <usenet@consulting.net.nz> writes:

> If an object is any Lisp datum how is this clear cut?
> Many Lisp objects
> cannot be compared in a conforming manner using EQ.

Yes, but those are enumerated on the same page describing EQ,
and FUNCTIONS are not included in the excluded types of objects.

So, again:
 * EQ applies to OBJECTS (with some exceptions)
 * functions are OBJECTS

Therefore, to me, the spec says I can expect that
(eq #'foo #'foo) will evaluate to T.

> I've just grepped the HyperSpec and the phrase "first class" doesn't
> appear once.

That's a red herring. Functions are lisp datums (i.e. objects),
and that's sufficient for a clear reading of the spec to ensure
that they can meaningfully be compared with EQ. 

-- 
It would be difficult to construe        Larry Wall, in  article
this as a feature.			 <1995May29.062427.3640@netlabs.com>