[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Macros in Dylan
Michael Sperber [Mr. Preprocessor] wrote:
>
> >>>>> "Eric" == Eric Kidd <eric.kidd@pobox.com> writes:
>
> Eric> I think there are two major axes of variation in macro systems:
>
> Eric> 1) Hygienic (Scheme) vs. non-hygienic (LISP).
> Eric> 2) Pattern-based (SYNTAX-RULES) vs. programmatic (Lisp, SYNTAX-CASE).
>
> Ermh, SYNTAX-CASE is pattern-based *and* programmatic.
I haven't been able to find a self-sufficient
programmatic (ie, non-pattern-dependent) core to the
syntax-case mechanism, at least one that's available
across all its implementations.
The PLT set of {define-syntax, datum->syntax-object,
syntax-object->datum, quote-syntax} seems like it could
be it, but it is not standard, and even then I'm
not sure it captures everything.
It should in principle be possible for a
programmatic-macro person to restrict themselves to
this non-pattern programmatic core, and I suspect a
typical syntax-case impl does indeed offer it, but I
haven't been able to isolate it and I haven't
really looked hard.
If anyone here has, please write.
- Follow-Ups:
- Re: Macros in Dylan
- From: sperber@informatik.uni-tuebingen.de (Michael Sperber [Mr. Preprocessor])
- References:
- Re: Macros in Dylan
- From: sperber@informatik.uni-tuebingen.de (Michael Sperber [Mr. Preprocessor])