Newsgroups: comp.lang.lisp
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!europa.eng.gtefsd.com!howland.reston.ans.net!news.sprintlink.net!pipex!uknet!festival!edcogsci!jeff
From: jeff@aiai.ed.ac.uk (Jeff Dalton)
Subject: Re: Common Lisp' dual name space
Message-ID: <Cyx0IJ.6yw@cogsci.ed.ac.uk>
Sender: usenet@cogsci.ed.ac.uk (C News Software)
Nntp-Posting-Host: bute-alter.aiai.ed.ac.uk
Organization: AIAI, University of Edinburgh, Scotland
References: <39927h$e3q@tools.near.net> <Ji47uc1w165w@sytex.com> <19941104T012053Z.enag@naggum.no>
Date: Mon, 7 Nov 1994 20:49:31 GMT
Lines: 35

In article <19941104T012053Z.enag@naggum.no> Erik Naggum <erik@naggum.no> writes:
>[Scott McLoughlin]
>
>|   I was about to thank Jeff Dalton for clarifying this point, but I guess
>|   I'll wait ;-) (BTW, a buddy of mine thinks the "seven namespaces" list
>|   is in Norvig, but I haven't found the quote yet.)
>
>FWIF, from pages 836 and 837:

Where is that?  What's FWIF?

>(1) functions and macros (and special forms?),
>(2) variables,
>(3) special variables,

Why are they separate from variables?  Because of things like
this?:

   (let ((x 1))     ; special
     (declare (special x))
     (let ((x 2))   ; not special
       (locally
         (declare (special x))
         x)))                    ==>     1

>(4) data types,
>(5) tagbody labels,
>(6) block labels,
>(7) "symbols inside quoted expressions are treated as constants, and thus
>    form [a] name space", examples of which are catch and throw tags,
>    and package names.

Interesting theory.

-- jeff
