Re: A prototype for a binding based approach to proper namespaces

[Dmitry Gutov]

On 09.05.2020 21:08, Helmut Eller wrote:

> > On 09.05.2020 10:38, Helmut Eller wrote:
> > > Of course, to be useful it would need a be shorter name or even be a
> > > reader macro like #'.
> >
> > FWIW, Clojure tries to solve this problem by having ` return
> > fully-qualified symbols:
> > https://stackoverflow.com/questions/17800917/clojure-difference-between-apostrophe-and-backtick
> >
> > ' returns "unqualified ones", and can be used inside ` forms to create
> > "unqualified" elements in there.
>
> Interesting.  It's certainly useful to be able to write down lists
> etc. that contain many symbols.  In Emacs we would probably not change
> the existing backquote, but instead use something new like #`.

I don't know. It could. I imagine the backward compatibility argument 
would not exactly apply, given that the change would only affect code 
using the new namespaces system.

> It seems[1] that in Clojure the symbol is resolved at read-time.  I'm
> not sure that that is better than resolving it at macroexpand-time or
> compile-time.

Can't comment on that.

> Helmut
>
> [1] https://clojure.org/reference/reader#syntax-quote