From: Stefan Monnier <monnier@iro.umontreal.ca>
To: "Basil L. Contovounesios" <contovob@tcd.ie>
Cc: akater <nuclearspace@gmail.com>, emacs-devel@gnu.org
Subject: Re: defmacro with built-in gensym declaration and initialization
Date: Thu, 21 Jan 2021 16:05:53 -0500 [thread overview]
Message-ID: <jwvim7qxayx.fsf-monnier+emacs@gnu.org> (raw)
In-Reply-To: <875z3qc8ur.fsf@tcd.ie> (Basil L. Contovounesios's message of "Thu, 21 Jan 2021 20:50:52 +0000")
>> Sorry, I suspect I misunderstood. What's a native arglist? Doesn't
>> defmacro already have native support for &optional and &rest keywords?
> Yes, and that's what I mean by native arglists - the ones possessed by
> built-in C objects such as subroutines, lambda expressions, compiled
> code, dynamic module functions, etc. and used by built-in C functions
> such as funcall.
> By contrast, cl-defmacro, other CL compatibility definitions, etc. have
> to parse a plain Elisp arglist for CL-specific features like &aux.
FWIW, `defmacro` is itself a macro, just like `cl-defmacro`, so it
wouldn't be that terribly hard (the only problem is that it needs to be
implemented without itself using macros, more or less).
For me it's more a question that whatever something like `&gensym` can't
use values that are computed during the macro expansion, , so
(defmacro M (ARGS &gensym FOO)
...)
is equivalent to something like:
(defmacro M (ARGS)
(with-gensyms (FOO)
...))
except:
- it's a bit more concise
- it exposes internal implementation details into the arglist, which is
usually considered as part of the signature.
- it doesn't cover the cases where you need `with-gensyms` deeper than
at the toplevel of the macro's body.
I find the added concision doesn't pay for the other two downsides.
Stefan
next prev parent reply other threads:[~2021-01-21 21:05 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-01-20 8:15 defmacro with built-in gensym declaration and initialization akater
2021-01-20 13:46 ` Basil L. Contovounesios
2021-01-20 15:09 ` Stefan Monnier
2021-01-20 16:47 ` Robin Tarsiger
2021-01-20 19:28 ` akater
2021-01-20 20:55 ` Basil L. Contovounesios
2021-01-21 19:34 ` akater
2021-01-21 20:50 ` Stefan Monnier
2021-01-21 20:50 ` Basil L. Contovounesios
2021-01-21 21:05 ` Stefan Monnier [this message]
2021-01-21 21:23 ` Basil L. Contovounesios
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
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=jwvim7qxayx.fsf-monnier+emacs@gnu.org \
--to=monnier@iro.umontreal.ca \
--cc=contovob@tcd.ie \
--cc=emacs-devel@gnu.org \
--cc=nuclearspace@gmail.com \
/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 public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).