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

[Helmut Eller]

On Sat, May 09 2020, Dmitry Gutov 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 #`.

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.

Helmut

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