-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
117 lines (115 loc) · 5.05 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
<!DOCTYPE html>
<html>
<head>
<title>Hygienic macros</title>
<link href="/admin.css" rel="stylesheet">
<link href="/list.css" rel="stylesheet">
<link href="/favicon.png" rel="icon" sizes="192x192" type="image/png">
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<script type="text/x-mathjax-config">
MathJax.Hub.Config({
tex2jax: {inlineMath: [['$','$'], ['\\(','\\)']]}
});
</script>
<script crossorigin="anonymous" integrity=
"sha384-Ra6zh6uYMmH5ydwCqqMoykyf1T/+ZcnOQfFPhDrp2kI4OIxadnhsvvA2vv9A7xYv" src=
"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"
type="text/javascript"></script>
</head>
<body>
<h1>SRFI 72: Hygienic macros</h1>
<p class="authors">by André van Tonder</p>
<p class="based-on"></p>
<p class="status">status: <em>final</em> (2005-09-21)</p>
<p class="keywords">keywords: <a href="https://srfi.schemers.org/?keywords=syntax">Syntax</a></p>
<ul class="info">
<li><a href="srfi-72.html">The SRFI Document</a></li>
<li><a href="https://srfi-email.schemers.org/srfi-72/">Discussion Archive</a></li>
<li><a href="https://github.com/scheme-requests-for-implementation/srfi-72">Git repo (on Github)</a></li>
<li>
<a href="mailto:[email protected]">srfi-72@<span class="antispam">nospam</span>srfi.schemers.org (subscribers only)</a></li>
<li>
<span class="firefox-column-workaround">
<form method="POST" action="https://www.simplelists.com/subscribe.php">
<div class="title">Subscribe to srfi-72 mailing list</div>
<input name="email"
placeholder="email address"
tabindex="1"
type="email" >
<input name="name"
placeholder="full name"
tabindex="2"
type="text" >
<p>
<input id="sub-digest"
name="digest"
tabindex="3"
type="checkbox"
value="digest" >
<label for="sub-digest">daily digest?</label></p>
<input class="submit"
name="submit"
tabindex="4"
type="submit"
value="Subscribe to srfi-72" >
<input type="hidden" name="action" value="subscribe">
<input type="hidden" name="list" value="[email protected]"></form></a></li>
<li>
<span class="firefox-column-workaround">
<form method="POST" action="https://www.simplelists.com/subscribe.php">
<p class="title">Unsubscribe from srfi-72 mailing list</p>
<input name="email"
placeholder="email address"
tabindex="5"
type="email" >
<input class="submit"
name="submit"
tabindex="6"
type="submit"
value="Unsubscribe from srfi-72" >
<input name="action"
type="hidden"
value="unsubscribe" >
<input name="list"
type="hidden"
value="[email protected]"></form></a></li></ul>
<h2>Abstract</h2> <p>This SRFI describes a procedural macro proposal
for Scheme with the following features:
<ul>
<li>
<h3>Improved hygiene:</h3>
<p>We argue that conventional hygiene
algorithms may lead to accidental variable capture errors in
procedural macros. We propose an improved algorithm that avoids these
problems.
<li>
<h3>Reflective tower:</h3>
<p>We specify a reflective tower of arbitrary
height, and propose a refinement of lexical scoping that takes into
account the phase of use of an identifier in determining its
meaning.
<li>
<h3>Syntax-case:</h3>
<p>In the current proposal, the
<code>syntax-case</code> form is expressible as a macro in terms of a
simpler set of primitives and is specified as library syntax.
<li>
<h3>Procedural interface:</h3>
<p>The primitive interface for manipulating
compound syntax objects consists of procedures rather than special
forms. In particular, the traditional abstractions <code>car</code>,
<code>cdr</code>, <code>cons</code> , <code>...</code> can be used on syntactic
data.
<li>
<h3>Fast hygiene algorithm:</h3>
<p>The reference implementation documents a
fast imperative hygiene algorithm that is eager and linear in
expression size.
<li>
<h3>Capturing identifiers:</h3>
<p>A primitive
<code>make-capturing-identifier</code> is provided for intentional
variable capture and for building expansion-time fluid binding
constructs.
</ul></body></html>