From: "Pascal J. Bourguignon" <pjb@informatimago.com>
To: emacs-devel@gnu.org
Subject: Re: adding namespaces to emacs-lisp (better elisp?)
Date: Sat, 27 Jul 2013 12:31:24 +0200 [thread overview]
Message-ID: <87txjg1egz.fsf@informatimago.com> (raw)
In-Reply-To: jwvr4ekj0n0.fsf-monnier+emacs@gnu.org
Stefan Monnier <monnier@iro.umontreal.ca> writes:
>> * `import': Importing a symbol into a package. Importing makes the
>> symbol *present*, not just *accessible* in the importing package.
>> If a different symbol with the same name is already accessible in the
>> importing package then a user-correctable error is raised: `import'
>> avoids letting one symbol shadow another.
>
> Sounds like CL's approach requires symbols to be present in several
> packages, which might require more changes than I'd like in the way
> obarrays and symbols work.
Depends on what you mean by "present".
Symbols cannot be interned inseveral packages. They can be interned
only once, and in a single package.
cl-user> (defpackage :a (:use))
#<Package "A">
cl-user> (defpackage :b (:use))
#<Package "B">
cl-user> (intern "AA" :a)
a::aa
nil
cl-user> (import 'a::aa :b)
t
cl-user> (find-symbol "AA" :a)
a::aa
:internal
cl-user> (find-symbol "AA" :b)
a::aa
:internal
cl-user> (intern "AA" :a)
a::aa
:internal
cl-user> (intern "AA" :b)
a::aa
:internal
cl-user>
The symbol named "AA" with which I played there, was interned only in
the package named "A", and only once (in the first call to INTERN).
Once I've imported this symbol in the package named "B', it is visible
there: FIND-SYMBOL and INTERN find it. But it's still the symbol named
"AA" interned in the package named "A".
Notice that import may also intern a uninterned symbol into the give
package:
cl-user> (let ((s (make-symbol "S")))
(import s :a))
t
cl-user> (find-symbol "S" :a)
a::s
:internal
cl-user>
But that's not the usual case.
You can find a "reference" implementation of a CL package system in:
https://gitorious.org/com-informatimago/com-informatimago/trees/master/common-lisp/lisp-reader
Notice in find-symbol
https://gitorious.org/com-informatimago/com-informatimago/blobs/master/common-lisp/lisp-reader/package-fun.lisp#line1318
how the notion of "present" symbol only comes in the last place before
three other ways to find symbols in packages, some of them that may not
be interned in any way in that package (:inherited).
--
__Pascal Bourguignon__ http://www.informatimago.com/
A bad day in () is better than a good day in {}.
You know you've been lisping too long when you see a recent picture of George
Lucas and think "Wait, I thought John McCarthy was dead!" -- Dalek_Baldwin
next prev parent reply other threads:[~2013-07-27 10:31 UTC|newest]
Thread overview: 62+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-07-26 14:08 adding namespaces to emacs-lisp (better elisp?) Nic Ferrier
2013-07-26 14:34 ` Drew Adams
2013-07-26 17:01 ` Pascal J. Bourguignon
2013-07-26 17:01 ` CommonLisp namespace system (was Re: adding namespaces to emacs-lisp (better elisp?)) Nic Ferrier
2013-07-26 17:19 ` Drew Adams
2013-07-26 18:26 ` Sebastian Wiesner
2013-07-26 18:53 ` Drew Adams
2013-07-26 21:08 ` Pascal J. Bourguignon
2013-07-26 18:23 ` Stefan Monnier
2013-07-26 18:32 ` Nic Ferrier
2013-07-26 18:45 ` Tom Tromey
2013-07-26 18:58 ` Drew Adams
2013-07-26 19:06 ` Nic Ferrier
2013-07-26 20:46 ` CommonLisp namespace system Lars Brinkhoff
2013-07-26 20:57 ` Drew Adams
2013-07-26 21:47 ` Nic Ferrier
2013-07-29 17:31 ` Lars Brinkhoff
2013-07-26 20:57 ` CommonLisp namespace system (was Re: adding namespaces to emacs-lisp (better elisp?)) Drew Adams
2013-07-27 7:17 ` Richard Stallman
2013-07-27 8:13 ` Nic Ferrier
2013-07-27 11:43 ` Bastien
2013-07-27 12:00 ` David Engster
2013-07-27 16:56 ` Nic Ferrier
2013-07-27 23:52 ` Richard Stallman
2013-07-28 7:22 ` Nic Ferrier
2013-07-28 8:18 ` Jambunathan K
2013-07-28 12:10 ` Richard Stallman
2013-07-28 13:48 ` Nic Ferrier
2013-07-29 10:12 ` Richard Stallman
2013-07-29 10:45 ` Nic Ferrier
2013-07-30 0:31 ` Richard Stallman
2013-07-27 9:37 ` CommonLisp namespace system Lars Brinkhoff
2013-07-26 19:42 ` CommonLisp namespace system (was Re: adding namespaces to emacs-lisp (better elisp?)) Drew Adams
2013-07-26 21:26 ` Juanma Barranquero
2013-07-26 21:06 ` Pascal J. Bourguignon
2013-07-26 21:44 ` Nic Ferrier
2013-07-27 7:16 ` adding namespaces to emacs-lisp (better elisp?) Richard Stallman
2013-07-26 15:43 ` Stefan Monnier
2013-07-26 16:56 ` Nic Ferrier
2013-07-26 18:18 ` Stefan Monnier
2013-07-26 19:00 ` Nic Ferrier
2013-07-26 20:59 ` Stefan Monnier
2013-07-26 21:43 ` Nic Ferrier
2013-07-26 21:59 ` Drew Adams
2013-07-26 22:21 ` Stefan Monnier
2013-07-26 22:33 ` Nic Ferrier
2013-07-27 0:51 ` Stefan Monnier
2013-07-27 8:27 ` Nic Ferrier
2013-07-27 14:12 ` Stefan Monnier
2013-07-27 16:17 ` Nic Ferrier
2013-07-27 17:28 ` Stefan Monnier
2013-07-27 10:35 ` Pascal J. Bourguignon
2013-07-26 22:00 ` Drew Adams
2013-07-27 0:49 ` Stefan Monnier
2013-07-27 1:13 ` Drew Adams
2013-07-27 7:02 ` Lars Brinkhoff
2013-07-27 10:33 ` Pascal J. Bourguignon
2013-07-31 6:48 ` Lars Brinkhoff
2013-07-27 10:31 ` Pascal J. Bourguignon [this message]
2013-07-27 14:14 ` Stefan Monnier
2013-07-27 16:43 ` Drew Adams
2013-07-26 17:21 ` Davis Herring
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87txjg1egz.fsf@informatimago.com \
--to=pjb@informatimago.com \
--cc=emacs-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.