On 13 Jul 2024, at 11:49, Marco Antoniotti marco.antoniotti@unimib.it wrote:
Hi
Thanks for the writeup. Apologies for the CDR-DISCUSS mishaps.
I am one of the major polluters of the packages' namespace as I happily abuse :nicknames.
I perused the specification, I like it and I agree with the comments, but I think there is an extra useful bit that is missing. I would like to be able to write
(in-package "A-VERY-LONG-AND-HAIRY-PACKAGE-NICKNAME" ; This may even be a 'global nickname'! :as "HAIRY-PKG" ; The 'local nickname'. )
It seems quite natural to me. Did I miss something?
How is this useful, since once you’re in a package, you access its symbols directly without qualification? How would use use HAIRY-PKG and why?