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 19:14:57 +1100

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

> Since I can't find a straight answer in the archives or the HyperSpec can
> someone please explain whether an EQ test for function identity is
> conforming? It appears to be unspecified.

Hyperspec says EQ is defined on any "object".
Clicking on "object" yields:

  object n. 1. any Lisp datum. ``The function cons creates an object
  which refers to two other objects.'' 2. (immediately following the
  name of a type) an object which is of that type, used to emphasize
  that the object is not just a name for an object of that type but
  really an element of the type in cases where objects of that type
  (such as function or class) are commonly referred to by name. ``The
  function symbol-function takes a function name and returns a
  function object.''

Seems pretty clear cut.



Relevant Pages

  • Re: More static type fun.
    ... In comp.lang.lisp Adam Warner wrote: ... >> static typing). ... > someone please explain whether an EQ test for function identity is ...
    (comp.lang.lisp)
  • Re: More static type fun.
    ... >> test2 relies on some kind of equality being defined over functions. ... >> static typing). ... an EQ test for function identity is definitely conforming ...
    (comp.lang.lisp)
  • format layout control ~@< ~@:>
    ... nor 22.3.6.3 of HyperSpec which could have thrown a light on it. ... conforming application rely on it? ... Vladimir Zolotykh. ...
    (comp.lang.lisp)