Re: implementing scheme - implementing macros

From	Stefan Monnier <monnier@iro.umontreal.ca>
Newsgroups	comp.lang.lisp
Subject	Re: implementing scheme - implementing macros
Date	2026-06-25 10:59 -0400
Organization	A noiseless patient Spider
Message-ID	<jwvechu7kq4.fsf-monnier+comp.lang.lisp@gnu.org> (permalink)
References	<110hst1$2gjgb$1@dont-email.me> <20260623124622.64@kylheku.com>

Show all headers | View raw

> There exists more than one algorithm for hygienic macros.
>
> The "grand daddy" is Kohlbecker's algorithm (1986)
>
> The offshoots:
>
> - Syntactic closures (1988)
>   - Alan Bawden paper from the proceedings of the 1988 ACM conference on Lisp
>     and functional programming.
>   - Chris Hanson 1991 paper, "A Syntactic Closure Macro Facility". 
>
> - Modified Kohlbecker's algorithm:
>   - William Clinger's 1990 paper, "Macros That Work"
>     - claims to address issues with syntactic closures
>     - reduces Kohlbecker from quadratic to linear time

Might be worth mentioning the "sets of scopes" one used in Racket:

    Binding as sets of scopes
    Matthew Flatt. POPL 2016.
    doi: 10.1145/2837614.2837620


=== Stefan

Back to comp.lang.lisp | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

implementing scheme - implementing macros Mario Rosell <mario@mariorosell.es> - 2026-06-12 21:15 +0000
  Re: implementing scheme - implementing macros steve g <Sgonedes1977@gmail.com> - 2026-06-16 21:50 -0400
    Re: implementing scheme - implementing macros Lawrence D’Oliveiro <ldo@nz.invalid> - 2026-06-17 03:14 +0000
    Re: implementing scheme - implementing macros Paul Rubin <no.email@nospam.invalid> - 2026-06-16 21:45 -0700
      Re: implementing scheme - implementing macros steve g <Sgonedes1977@gmail.com> - 2026-06-19 23:15 -0400
  Re: implementing scheme - implementing macros antispam@fricas.org (Waldek Hebisch) - 2026-06-17 14:26 +0000
  Re: implementing scheme - implementing macros Kaz Kylheku <046-301-5902@kylheku.com> - 2026-06-23 20:59 +0000
    Re: implementing scheme - implementing macros Stefan Monnier <monnier@iro.umontreal.ca> - 2026-06-25 10:59 -0400

csiph-web