Subject: Re: NIL is not of type CONS
From: rpw3@rpw3.org (Rob Warnock)
Date: Wed, 19 Dec 2007 18:44:22 -0600
Newsgroups: comp.lang.lisp
Message-ID: <HJadnXkVkvV7J_TanZ2dnUVZ_trinZ2d@speakeasy.net>
Kaz Kylheku  <kkylheku@gmail.com> wrote:
+---------------
| Ron Garret <rNOSPA...@flownet.com> wrote:
| > (And IMO defending (consp nil) returning false on logical grounds is
| > less tenable of the fact that the CAR and CDR of NIL are both defined.)
| 
| That (CAR NIL) is defined doesn't assert that NIL is a cons.
+---------------

Indeed. Just as the fact that (CAR 'NIL) is defined doesn't assert
that (CAR 'ANY-OTHER-SYMBOL) is defined. NIL is... *spehhhshull*!
[Said in the voice of Dana Carvey's "Church Lady" character on
"Saturday Night Live".]

+---------------
| In the object system, we can specialize any method we want to take
| arguments of the NULL class.
+---------------

That too.


-Rob

-----
Rob Warnock			<rpw3@rpw3.org>
627 26th Avenue			<URL:http://rpw3.org/>
San Mateo, CA 94403		(650)572-2607