home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX document text
| default
| |
| 99%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| siegfried
| fmt/281 LaTeX (Subdocument)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 73 65 63 74 69 6f 6e | 7b 44 65 72 69 76 65 64 |\section|{Derived|
|00000010| 20 65 78 70 72 65 73 73 | 69 6f 6e 20 74 79 70 65 | express|ion type|
|00000020| 73 7d 0a 5c 6c 61 62 65 | 6c 7b 64 65 72 69 76 65 |s}.\labe|l{derive|
|00000030| 64 73 65 63 74 69 6f 6e | 7d 0a 0a 54 68 69 73 20 |dsection|}..This |
|00000040| 73 65 63 74 69 6f 6e 20 | 67 69 76 65 73 20 72 65 |section |gives re|
|00000050| 77 72 69 74 65 20 72 75 | 6c 65 73 20 66 6f 72 20 |write ru|les for |
|00000060| 74 68 65 20 64 65 72 69 | 76 65 64 20 65 78 70 72 |the deri|ved expr|
|00000070| 65 73 73 69 6f 6e 20 74 | 79 70 65 73 2e 20 20 42 |ession t|ypes. B|
|00000080| 79 0a 74 68 65 20 61 70 | 70 6c 69 63 61 74 69 6f |y.the ap|plicatio|
|00000090| 6e 20 6f 66 20 74 68 65 | 73 65 20 72 75 6c 65 73 |n of the|se rules|
|000000a0| 2c 20 61 6e 79 20 65 78 | 70 72 65 73 73 69 6f 6e |, any ex|pression|
|000000b0| 20 63 61 6e 20 62 65 20 | 72 65 64 75 63 65 64 20 | can be |reduced |
|000000c0| 74 6f 20 61 0a 73 65 6d | 61 6e 74 69 63 61 6c 6c |to a.sem|anticall|
|000000d0| 79 20 65 71 75 69 76 61 | 6c 65 6e 74 20 65 78 70 |y equiva|lent exp|
|000000e0| 72 65 73 73 69 6f 6e 20 | 69 6e 20 77 68 69 63 68 |ression |in which|
|000000f0| 20 6f 6e 6c 79 20 74 68 | 65 20 70 72 69 6d 69 74 | only th|e primit|
|00000100| 69 76 65 0a 65 78 70 72 | 65 73 73 69 6f 6e 20 74 |ive.expr|ession t|
|00000110| 79 70 65 73 20 28 6c 69 | 74 65 72 61 6c 2c 20 76 |ypes (li|teral, v|
|00000120| 61 72 69 61 62 6c 65 2c | 20 63 61 6c 6c 2c 20 5c |ariable,| call, \|
|00000130| 69 64 65 7b 6c 61 6d 62 | 64 61 7d 2c 20 5c 69 64 |ide{lamb|da}, \id|
|00000140| 65 7b 69 66 7d 2c 0a 5c | 69 64 65 7b 73 65 74 21 |e{if},.\|ide{set!|
|00000150| 7d 29 20 6f 63 63 75 72 | 2e 0a 0a 25 20 5c 74 6f |}) occur|...% \to|
|00000160| 64 6f 7b 45 78 70 72 65 | 73 73 69 6f 6e 73 20 73 |do{Expre|ssions s|
|00000170| 75 63 68 20 61 73 20 7b | 5c 74 74 20 28 63 6f 6e |uch as {|\tt (con|
|00000180| 64 29 7d 20 61 72 65 6e | 27 74 20 6c 65 67 61 6c |d)} aren|'t legal|
|00000190| 2c 20 62 75 74 20 74 68 | 65 79 20 6d 61 6b 65 20 |, but th|ey make |
|000001a0| 74 68 65 0a 25 20 72 65 | 77 72 69 74 65 20 72 75 |the.% re|write ru|
|000001b0| 6c 65 73 20 77 6f 72 6b | 2e 7d 0a 0a 5c 6e 65 77 |les work|.}..\new|
|000001c0| 63 6f 6d 6d 61 6e 64 7b | 5c 69 65 74 7d 7b 5c 68 |command{|\iet}{\h|
|000001d0| 62 6f 78 20 74 6f 20 32 | 65 6d 7b 5c 68 66 69 6c |box to 2|em{\hfil|
|000001e0| 20 24 5c 65 71 75 69 76 | 24 7d 7d 20 20 25 20 69 | $\equiv|$}} % i|
|000001f0| 73 20 65 71 75 69 76 61 | 6c 65 6e 74 20 74 6f 0a |s equiva|lent to.|
|00000200| 0a 5c 62 65 67 69 6e 7b | 73 63 68 65 6d 65 6e 6f |.\begin{|schemeno|
|00000210| 69 6e 64 65 6e 74 7d 0a | 28 63 6f 6e 64 20 28 5c |indent}.|(cond (\|
|00000220| 68 79 70 65 72 7b 74 65 | 73 74 7d 20 5c 68 79 70 |hyper{te|st} \hyp|
|00000230| 65 72 7b 73 65 71 75 65 | 6e 63 65 7d 29 0a 20 20 |er{seque|nce}). |
|00000240| 20 20 20 20 5c 68 79 70 | 65 72 69 69 7b 63 6c 61 | \hyp|erii{cla|
|00000250| 75 73 65 7d 20 5c 64 6f | 74 73 66 6f 6f 29 0a 5c |use} \do|tsfoo).\|
|00000260| 69 65 74 20 20 28 69 66 | 20 5c 68 79 70 65 72 7b |iet (if| \hyper{|
|00000270| 74 65 73 74 7d 0a 20 20 | 20 20 20 20 20 20 20 20 |test}. | |
|00000280| 28 62 65 67 69 6e 20 5c | 68 79 70 65 72 7b 73 65 |(begin \|hyper{se|
|00000290| 71 75 65 6e 63 65 7d 29 | 0a 20 20 20 20 20 20 20 |quence})|. |
|000002a0| 20 20 20 28 63 6f 6e 64 | 20 5c 68 79 70 65 72 69 | (cond| \hyperi|
|000002b0| 69 7b 63 6c 61 75 73 65 | 7d 20 5c 64 6f 74 73 66 |i{clause|} \dotsf|
|000002c0| 6f 6f 29 29 0a 0a 28 63 | 6f 6e 64 20 28 5c 68 79 |oo))..(c|ond (\hy|
|000002d0| 70 65 72 7b 74 65 73 74 | 7d 29 0a 20 20 20 20 20 |per{test|}). |
|000002e0| 20 5c 68 79 70 65 72 69 | 69 7b 63 6c 61 75 73 65 | \hyperi|i{clause|
|000002f0| 7d 20 5c 64 6f 74 73 66 | 6f 6f 29 0a 5c 69 65 74 |} \dotsf|oo).\iet|
|00000300| 20 20 28 6f 72 20 5c 68 | 79 70 65 72 7b 74 65 73 | (or \h|yper{tes|
|00000310| 74 7d 20 28 63 6f 6e 64 | 20 5c 68 79 70 65 72 69 |t} (cond| \hyperi|
|00000320| 69 7b 63 6c 61 75 73 65 | 7d 20 5c 64 6f 74 73 66 |i{clause|} \dotsf|
|00000330| 6f 6f 29 29 0a 0a 28 63 | 6f 6e 64 20 28 5c 68 79 |oo))..(c|ond (\hy|
|00000340| 70 65 72 7b 74 65 73 74 | 7d 20 3d 3e 20 5c 68 79 |per{test|} => \hy|
|00000350| 70 65 72 7b 72 65 63 69 | 70 69 65 6e 74 7d 29 0a |per{reci|pient}).|
|00000360| 20 20 20 20 20 20 5c 68 | 79 70 65 72 69 69 7b 63 | \h|yperii{c|
|00000370| 6c 61 75 73 65 7d 20 5c | 64 6f 74 73 66 6f 6f 29 |lause} \|dotsfoo)|
|00000380| 0a 5c 69 65 74 20 20 28 | 6c 65 74 20 28 28 74 65 |.\iet (|let ((te|
|00000390| 73 74 2d 72 65 73 75 6c | 74 20 5c 68 79 70 65 72 |st-resul|t \hyper|
|000003a0| 7b 74 65 73 74 7d 29 0a | 20 20 20 20 20 20 20 20 |{test}).| |
|000003b0| 20 20 20 20 28 74 68 75 | 6e 6b 32 20 28 6c 61 6d | (thu|nk2 (lam|
|000003c0| 62 64 61 20 28 29 20 5c | 68 79 70 65 72 7b 72 65 |bda () \|hyper{re|
|000003d0| 63 69 70 69 65 6e 74 7d | 29 29 0a 20 20 20 20 20 |cipient}|)). |
|000003e0| 20 20 20 20 20 20 20 28 | 74 68 75 6e 6b 33 20 28 | (|thunk3 (|
|000003f0| 6c 61 6d 62 64 61 20 28 | 29 20 28 63 6f 6e 64 20 |lambda (|) (cond |
|00000400| 5c 68 79 70 65 72 69 69 | 7b 63 6c 61 75 73 65 7d |\hyperii|{clause}|
|00000410| 20 5c 64 6f 74 73 66 6f | 6f 29 29 29 29 0a 20 20 | \dotsfo|o)))). |
|00000420| 20 20 20 20 20 20 28 69 | 66 20 74 65 73 74 2d 72 | (i|f test-r|
|00000430| 65 73 75 6c 74 0a 20 20 | 20 20 20 20 20 20 20 20 |esult. | |
|00000440| 20 20 28 28 74 68 75 6e | 6b 32 29 20 74 65 73 74 | ((thun|k2) test|
|00000450| 2d 72 65 73 75 6c 74 29 | 0a 20 20 20 20 20 20 20 |-result)|. |
|00000460| 20 20 20 20 20 28 74 68 | 75 6e 6b 33 29 29 29 0a | (th|unk3))).|
|00000470| 0a 28 63 6f 6e 64 20 28 | 65 6c 73 65 20 5c 68 79 |.(cond (|else \hy|
|00000480| 70 65 72 7b 73 65 71 75 | 65 6e 63 65 7d 29 29 0a |per{sequ|ence})).|
|00000490| 5c 69 65 74 20 20 28 62 | 65 67 69 6e 20 5c 68 79 |\iet (b|egin \hy|
|000004a0| 70 65 72 7b 73 65 71 75 | 65 6e 63 65 7d 29 0a 0a |per{sequ|ence})..|
|000004b0| 28 63 6f 6e 64 29 0a 5c | 69 65 74 20 20 5c 68 79 |(cond).\|iet \hy|
|000004c0| 70 65 72 7b 73 6f 6d 65 | 20 65 78 70 72 65 73 73 |per{some| express|
|000004d0| 69 6f 6e 20 72 65 74 75 | 72 6e 69 6e 67 20 61 6e |ion retu|rning an|
|000004e0| 20 75 6e 73 70 65 63 69 | 66 69 65 64 20 76 61 6c | unspeci|fied val|
|000004f0| 75 65 7d 0a 0a 28 63 61 | 73 65 20 5c 68 79 70 65 |ue}..(ca|se \hype|
|00000500| 72 7b 6b 65 79 7d 20 0a | 20 20 28 28 64 31 20 5c |r{key} .| ((d1 \|
|00000510| 64 6f 74 73 66 6f 6f 29 | 20 5c 68 79 70 65 72 7b |dotsfoo)| \hyper{|
|00000520| 73 65 71 75 65 6e 63 65 | 7d 29 0a 20 20 5c 64 6f |sequence|}). \do|
|00000530| 74 73 66 6f 6f 29 0a 5c | 69 65 74 20 20 28 6c 65 |tsfoo).\|iet (le|
|00000540| 74 20 28 28 6b 65 79 20 | 5c 68 79 70 65 72 7b 6b |t ((key |\hyper{k|
|00000550| 65 79 7d 29 0a 20 20 20 | 20 20 20 20 20 20 20 20 |ey}). | |
|00000560| 20 28 74 68 75 6e 6b 31 | 20 28 6c 61 6d 62 64 61 | (thunk1| (lambda|
|00000570| 20 28 29 20 5c 68 79 70 | 65 72 7b 73 65 71 75 65 | () \hyp|er{seque|
|00000580| 6e 63 65 7d 29 29 0a 20 | 20 20 20 20 20 20 20 20 |nce})). | |
|00000590| 20 20 20 5c 64 6f 74 73 | 66 6f 6f 29 0a 20 20 20 | \dots|foo). |
|000005a0| 20 20 20 20 20 28 63 6f | 6e 64 20 28 28 5c 68 79 | (co|nd ((\hy|
|000005b0| 70 65 72 7b 6d 65 6d 76 | 7d 20 6b 65 79 20 27 28 |per{memv|} key '(|
|000005c0| 64 31 20 5c 64 6f 74 73 | 66 6f 6f 29 29 20 28 74 |d1 \dots|foo)) (t|
|000005d0| 68 75 6e 6b 31 29 29 0a | 20 20 20 20 20 20 20 20 |hunk1)).| |
|000005e0| 20 20 20 20 20 20 20 5c | 64 6f 74 73 66 6f 6f 29 | \|dotsfoo)|
|000005f0| 29 0a 0a 28 63 61 73 65 | 20 5c 68 79 70 65 72 7b |)..(case| \hyper{|
|00000600| 6b 65 79 7d 20 0a 20 20 | 28 28 64 31 20 5c 64 6f |key} . |((d1 \do|
|00000610| 74 73 66 6f 6f 29 20 5c | 68 79 70 65 72 7b 73 65 |tsfoo) \|hyper{se|
|00000620| 71 75 65 6e 63 65 7d 29 | 0a 20 20 5c 64 6f 74 73 |quence})|. \dots|
|00000630| 66 6f 6f 0a 20 20 28 65 | 6c 73 65 20 66 31 20 66 |foo. (e|lse f1 f|
|00000640| 32 20 5c 64 6f 74 73 66 | 6f 6f 29 29 0a 5c 69 65 |2 \dotsf|oo)).\ie|
|00000650| 74 20 20 28 6c 65 74 20 | 28 28 6b 65 79 20 5c 68 |t (let |((key \h|
|00000660| 79 70 65 72 7b 6b 65 79 | 7d 29 0a 20 20 20 20 20 |yper{key|}). |
|00000670| 20 20 20 20 20 20 20 28 | 74 68 75 6e 6b 31 20 28 | (|thunk1 (|
|00000680| 6c 61 6d 62 64 61 20 28 | 29 20 5c 68 79 70 65 72 |lambda (|) \hyper|
|00000690| 7b 73 65 71 75 65 6e 63 | 65 7d 29 29 0a 20 20 20 |{sequenc|e})). |
|000006a0| 20 20 20 20 20 20 20 20 | 20 5c 64 6f 74 73 66 6f | | \dotsfo|
|000006b0| 6f 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 28 65 |o. | (e|
|000006c0| 6c 73 65 74 68 75 6e 6b | 20 28 6c 61 6d 62 64 61 |lsethunk| (lambda|
|000006d0| 20 28 29 20 5c 64 6f 74 | 73 66 6f 6f 29 29 29 0a | () \dot|sfoo))).|
|000006e0| 20 20 20 20 20 20 20 20 | 28 63 6f 6e 64 20 28 28 | |(cond ((|
|000006f0| 5c 68 79 70 65 72 7b 6d | 65 6d 76 7d 20 6b 65 79 |\hyper{m|emv} key|
|00000700| 20 27 28 64 31 20 5c 64 | 6f 74 73 66 6f 6f 29 29 | '(d1 \d|otsfoo))|
|00000710| 20 28 74 68 75 6e 6b 31 | 29 29 0a 20 20 20 20 20 | (thunk1|)). |
|00000720| 20 20 20 20 20 20 20 20 | 20 20 5c 64 6f 74 73 66 | | \dotsf|
|00000730| 6f 6f 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |oo. | |
|00000740| 20 28 65 6c 73 65 20 28 | 65 6c 73 65 74 68 75 6e | (else (|elsethun|
|00000750| 6b 29 29 29 29 25 0a 5c | 65 6e 64 7b 73 63 68 65 |k))))%.\|end{sche|
|00000760| 6d 65 6e 6f 69 6e 64 65 | 6e 74 7d 0a 77 68 65 72 |menoinde|nt}.wher|
|00000770| 65 20 5c 68 79 70 65 72 | 7b 6d 65 6d 76 7d 20 69 |e \hyper|{memv} i|
|00000780| 73 20 61 6e 20 65 78 70 | 72 65 73 73 69 6f 6e 20 |s an exp|ression |
|00000790| 65 76 61 6c 75 61 74 69 | 6e 67 20 74 6f 20 74 68 |evaluati|ng to th|
|000007a0| 65 20 5c 69 64 65 7b 6d | 65 6d 76 7d 20 70 72 6f |e \ide{m|emv} pro|
|000007b0| 63 65 64 75 72 65 2e 0a | 0a 5c 62 65 67 69 6e 7b |cedure..|.\begin{|
|000007c0| 73 63 68 65 6d 65 6e 6f | 69 6e 64 65 6e 74 7d 0a |schemeno|indent}.|
|000007d0| 28 61 6e 64 29 20 20 20 | 20 20 20 20 20 20 5c 3d |(and) | \=|
|000007e0| 5c 69 65 74 20 20 5c 73 | 63 68 74 72 75 65 0a 28 |\iet \s|chtrue.(|
|000007f0| 61 6e 64 20 5c 68 79 70 | 65 72 7b 74 65 73 74 7d |and \hyp|er{test}|
|00000800| 29 5c 3e 5c 69 65 74 20 | 20 5c 68 79 70 65 72 7b |)\>\iet | \hyper{|
|00000810| 74 65 73 74 7d 0a 28 61 | 6e 64 20 5c 68 79 70 65 |test}.(a|nd \hype|
|00000820| 72 69 7b 74 65 73 74 7d | 20 5c 68 79 70 65 72 69 |ri{test}| \hyperi|
|00000830| 69 7b 74 65 73 74 7d 20 | 5c 64 6f 74 73 66 6f 6f |i{test} |\dotsfoo|
|00000840| 29 0a 5c 69 65 74 20 20 | 28 6c 65 74 20 28 28 78 |).\iet |(let ((x|
|00000850| 20 5c 68 79 70 65 72 69 | 7b 74 65 73 74 7d 29 0a | \hyperi|{test}).|
|00000860| 20 20 20 20 20 20 20 20 | 20 20 20 20 28 74 68 75 | | (thu|
|00000870| 6e 6b 20 28 6c 61 6d 62 | 64 61 20 28 29 20 28 61 |nk (lamb|da () (a|
|00000880| 6e 64 20 5c 68 79 70 65 | 72 69 69 7b 74 65 73 74 |nd \hype|rii{test|
|00000890| 7d 20 5c 64 6f 74 73 66 | 6f 6f 29 29 29 29 0a 20 |} \dotsf|oo)))). |
|000008a0| 20 20 20 20 20 20 20 28 | 69 66 20 78 20 28 74 68 | (|if x (th|
|000008b0| 75 6e 6b 29 20 78 29 29 | 0a 0a 28 6f 72 29 20 20 |unk) x))|..(or) |
|000008c0| 20 20 20 20 20 20 20 20 | 5c 3e 5c 69 65 74 20 20 | |\>\iet |
|000008d0| 5c 73 63 68 66 61 6c 73 | 65 0a 28 6f 72 20 5c 68 |\schfals|e.(or \h|
|000008e0| 79 70 65 72 7b 74 65 73 | 74 7d 29 5c 3e 5c 69 65 |yper{tes|t})\>\ie|
|000008f0| 74 20 20 5c 68 79 70 65 | 72 7b 74 65 73 74 7d 0a |t \hype|r{test}.|
|00000900| 28 6f 72 20 5c 68 79 70 | 65 72 69 7b 74 65 73 74 |(or \hyp|eri{test|
|00000910| 7d 20 5c 68 79 70 65 72 | 69 69 7b 74 65 73 74 7d |} \hyper|ii{test}|
|00000920| 20 5c 64 6f 74 73 66 6f | 6f 29 0a 5c 69 65 74 20 | \dotsfo|o).\iet |
|00000930| 20 28 6c 65 74 20 28 28 | 78 20 5c 68 79 70 65 72 | (let ((|x \hyper|
|00000940| 69 7b 74 65 73 74 7d 29 | 0a 20 20 20 20 20 20 20 |i{test})|. |
|00000950| 20 20 20 20 20 28 74 68 | 75 6e 6b 20 28 6c 61 6d | (th|unk (lam|
|00000960| 62 64 61 20 28 29 20 28 | 6f 72 20 5c 68 79 70 65 |bda () (|or \hype|
|00000970| 72 69 69 7b 74 65 73 74 | 7d 20 5c 64 6f 74 73 66 |rii{test|} \dotsf|
|00000980| 6f 6f 29 29 29 29 0a 20 | 20 20 20 20 20 20 20 28 |oo)))). | (|
|00000990| 69 66 20 78 20 78 20 28 | 74 68 75 6e 6b 29 29 29 |if x x (|thunk)))|
|000009a0| 0a 0a 28 6c 65 74 20 28 | 28 5c 68 79 70 65 72 69 |..(let (|(\hyperi|
|000009b0| 7b 76 61 72 69 61 62 6c | 65 7d 20 5c 68 79 70 65 |{variabl|e} \hype|
|000009c0| 72 69 7b 69 6e 69 74 7d | 29 20 5c 64 6f 74 73 66 |ri{init}|) \dotsf|
|000009d0| 6f 6f 29 0a 20 20 5c 68 | 79 70 65 72 7b 62 6f 64 |oo). \h|yper{bod|
|000009e0| 79 7d 29 0a 5c 69 65 74 | 20 20 28 28 6c 61 6d 62 |y}).\iet| ((lamb|
|000009f0| 64 61 20 28 5c 68 79 70 | 65 72 69 7b 76 61 72 69 |da (\hyp|eri{vari|
|00000a00| 61 62 6c 65 7d 20 5c 64 | 6f 74 73 66 6f 6f 29 20 |able} \d|otsfoo) |
|00000a10| 5c 68 79 70 65 72 7b 62 | 6f 64 79 7d 29 20 5c 68 |\hyper{b|ody}) \h|
|00000a20| 79 70 65 72 69 7b 69 6e | 69 74 7d 20 5c 64 6f 74 |yperi{in|it} \dot|
|00000a30| 73 66 6f 6f 29 0a 0a 28 | 6c 65 74 2a 20 28 29 20 |sfoo)..(|let* () |
|00000a40| 5c 68 79 70 65 72 7b 62 | 6f 64 79 7d 29 0a 5c 69 |\hyper{b|ody}).\i|
|00000a50| 65 74 20 20 28 28 6c 61 | 6d 62 64 61 20 28 29 20 |et ((la|mbda () |
|00000a60| 5c 68 79 70 65 72 7b 62 | 6f 64 79 7d 29 29 0a 28 |\hyper{b|ody})).(|
|00000a70| 6c 65 74 2a 20 28 28 5c | 68 79 70 65 72 69 7b 76 |let* ((\|hyperi{v|
|00000a80| 61 72 69 61 62 6c 65 7d | 20 5c 68 79 70 65 72 69 |ariable}| \hyperi|
|00000a90| 7b 69 6e 69 74 7d 29 0a | 20 20 20 20 20 20 20 28 |{init}).| (|
|00000aa0| 5c 68 79 70 65 72 69 69 | 7b 76 61 72 69 61 62 6c |\hyperii|{variabl|
|00000ab0| 65 7d 20 5c 68 79 70 65 | 72 69 69 7b 69 6e 69 74 |e} \hype|rii{init|
|00000ac0| 7d 29 0a 20 20 20 20 20 | 20 20 5c 64 6f 74 73 66 |}). | \dotsf|
|00000ad0| 6f 6f 29 0a 20 20 5c 68 | 79 70 65 72 7b 62 6f 64 |oo). \h|yper{bod|
|00000ae0| 79 7d 29 0a 5c 69 65 74 | 20 20 28 6c 65 74 20 28 |y}).\iet| (let (|
|00000af0| 28 5c 68 79 70 65 72 69 | 7b 76 61 72 69 61 62 6c |(\hyperi|{variabl|
|00000b00| 65 7d 20 5c 68 79 70 65 | 72 69 7b 69 6e 69 74 7d |e} \hype|ri{init}|
|00000b10| 29 29 20 0a 20 20 20 20 | 20 20 20 20 28 6c 65 74 |)) . | (let|
|00000b20| 2a 20 28 28 5c 68 79 70 | 65 72 69 69 7b 76 61 72 |* ((\hyp|erii{var|
|00000b30| 69 61 62 6c 65 7d 20 5c | 68 79 70 65 72 69 69 7b |iable} \|hyperii{|
|00000b40| 69 6e 69 74 7d 29 0a 20 | 20 20 20 20 20 20 20 20 |init}). | |
|00000b50| 20 20 20 20 20 20 5c 64 | 6f 74 73 66 6f 6f 29 0a | \d|otsfoo).|
|00000b60| 20 20 20 20 20 20 20 20 | 20 20 5c 68 79 70 65 72 | | \hyper|
|00000b70| 7b 62 6f 64 79 7d 29 29 | 0a 0a 28 6c 65 74 72 65 |{body}))|..(letre|
|00000b80| 63 20 28 28 5c 68 79 70 | 65 72 69 7b 76 61 72 69 |c ((\hyp|eri{vari|
|00000b90| 61 62 6c 65 7d 20 5c 68 | 79 70 65 72 69 7b 69 6e |able} \h|yperi{in|
|00000ba0| 69 74 7d 29 0a 20 20 20 | 20 20 20 20 20 20 5c 64 |it}). | \d|
|00000bb0| 6f 74 73 66 6f 6f 29 0a | 20 20 5c 68 79 70 65 72 |otsfoo).| \hyper|
|00000bc0| 7b 62 6f 64 79 7d 29 0a | 5c 69 65 74 20 20 28 6c |{body}).|\iet (l|
|00000bd0| 65 74 20 28 28 5c 68 79 | 70 65 72 69 7b 76 61 72 |et ((\hy|peri{var|
|00000be0| 69 61 62 6c 65 7d 20 5c | 68 79 70 65 72 7b 75 6e |iable} \|hyper{un|
|00000bf0| 64 65 66 69 6e 65 64 7d | 29 0a 20 20 20 20 20 20 |defined}|). |
|00000c00| 20 20 20 20 20 20 5c 64 | 6f 74 73 66 6f 6f 29 0a | \d|otsfoo).|
|00000c10| 20 20 20 20 20 20 20 20 | 20 28 6c 65 74 20 28 28 | | (let ((|
|00000c20| 5c 68 79 70 65 72 69 7b | 74 65 6d 70 7d 20 5c 68 |\hyperi{|temp} \h|
|00000c30| 79 70 65 72 69 7b 69 6e | 69 74 7d 29 0a 20 20 20 |yperi{in|it}). |
|00000c40| 20 20 20 20 20 20 20 20 | 20 20 20 20 5c 64 6f 74 | | \dot|
|00000c50| 73 66 6f 6f 29 0a 20 20 | 20 20 20 20 20 20 20 20 |sfoo). | |
|00000c60| 20 28 73 65 74 21 20 5c | 68 79 70 65 72 69 7b 76 | (set! \|hyperi{v|
|00000c70| 61 72 69 61 62 6c 65 7d | 20 5c 68 79 70 65 72 69 |ariable}| \hyperi|
|00000c80| 7b 74 65 6d 70 7d 29 0a | 20 20 20 20 20 20 20 20 |{temp}).| |
|00000c90| 20 20 20 5c 64 6f 74 73 | 66 6f 6f 29 0a 20 20 20 | \dots|foo). |
|00000ca0| 20 20 20 20 20 20 5c 68 | 79 70 65 72 7b 62 6f 64 | \h|yper{bod|
|00000cb0| 79 7d 29 25 0a 5c 65 6e | 64 7b 73 63 68 65 6d 65 |y})%.\en|d{scheme|
|00000cc0| 6e 6f 69 6e 64 65 6e 74 | 7d 0a 77 68 65 72 65 20 |noindent|}.where |
|00000cd0| 5c 68 79 70 65 72 69 7b | 74 65 6d 70 7d 2c 20 5c |\hyperi{|temp}, \|
|00000ce0| 68 79 70 65 72 69 69 7b | 74 65 6d 70 7d 2c 20 5c |hyperii{|temp}, \|
|00000cf0| 64 6f 74 73 66 6f 6f 7b | 7d 20 61 72 65 20 76 61 |dotsfoo{|} are va|
|00000d00| 72 69 61 62 6c 65 73 2c | 20 64 69 73 74 69 6e 63 |riables,| distinc|
|00000d10| 74 0a 66 72 6f 6d 20 5c | 68 79 70 65 72 69 7b 76 |t.from \|hyperi{v|
|00000d20| 61 72 69 61 62 6c 65 7d | 2c 20 5c 64 6f 74 73 66 |ariable}|, \dotsf|
|00000d30| 6f 6f 7b 7d 2c 20 77 68 | 69 63 68 20 64 6f 20 6e |oo{}, wh|ich do n|
|00000d40| 6f 74 20 66 72 65 65 20 | 6f 63 63 75 72 20 69 6e |ot free |occur in|
|00000d50| 20 74 68 65 0a 6f 72 69 | 67 69 6e 61 6c 20 5c 68 | the.ori|ginal \h|
|00000d60| 79 70 65 72 7b 69 6e 69 | 74 7d 20 65 78 70 72 65 |yper{ini|t} expre|
|00000d70| 73 73 69 6f 6e 73 2c 20 | 61 6e 64 20 5c 68 79 70 |ssions, |and \hyp|
|00000d80| 65 72 7b 75 6e 64 65 66 | 69 6e 65 64 7d 20 69 73 |er{undef|ined} is|
|00000d90| 20 61 6e 20 65 78 70 72 | 65 73 73 69 6f 6e 0a 77 | an expr|ession.w|
|00000da0| 68 69 63 68 20 72 65 74 | 75 72 6e 73 20 73 6f 6d |hich ret|urns som|
|00000db0| 65 74 68 69 6e 67 20 77 | 68 69 63 68 20 77 68 65 |ething w|hich whe|
|00000dc0| 6e 20 73 74 6f 72 65 64 | 20 69 6e 20 61 20 6c 6f |n stored| in a lo|
|00000dd0| 63 61 74 69 6f 6e 20 6d | 61 6b 65 73 20 69 74 20 |cation m|akes it |
|00000de0| 61 6e 0a 65 72 72 6f 72 | 20 74 6f 20 74 72 79 20 |an.error| to try |
|00000df0| 74 6f 20 6f 62 74 61 69 | 6e 20 74 68 65 20 76 61 |to obtai|n the va|
|00000e00| 6c 75 65 20 73 74 6f 72 | 65 64 20 69 6e 20 74 68 |lue stor|ed in th|
|00000e10| 65 20 6c 6f 63 61 74 69 | 6f 6e 2e 20 20 28 4e 6f |e locati|on. (No|
|00000e20| 20 73 75 63 68 0a 65 78 | 70 72 65 73 73 69 6f 6e | such.ex|pression|
|00000e30| 20 69 73 20 64 65 66 69 | 6e 65 64 2c 20 62 75 74 | is defi|ned, but|
|00000e40| 20 6f 6e 65 20 69 73 20 | 61 73 73 75 6d 65 64 20 | one is |assumed |
|00000e50| 74 6f 20 65 78 69 73 74 | 20 66 6f 72 20 74 68 65 |to exist| for the|
|00000e60| 20 70 75 72 70 6f 73 65 | 73 20 6f 66 20 74 68 69 | purpose|s of thi|
|00000e70| 73 0a 72 65 77 72 69 74 | 65 20 72 75 6c 65 2e 29 |s.rewrit|e rule.)|
|00000e80| 20 20 54 68 65 20 73 65 | 63 6f 6e 64 20 5c 69 64 | The se|cond \id|
|00000e90| 65 7b 6c 65 74 7d 20 65 | 78 70 72 65 73 73 69 6f |e{let} e|xpressio|
|00000ea0| 6e 20 69 6e 20 74 68 65 | 20 65 78 70 61 6e 73 69 |n in the| expansi|
|00000eb0| 6f 6e 20 69 73 20 6e 6f | 74 0a 73 74 72 69 63 74 |on is no|t.strict|
|00000ec0| 6c 79 20 6e 65 63 65 73 | 73 61 72 79 2c 20 62 75 |ly neces|sary, bu|
|00000ed0| 74 20 69 74 20 73 65 72 | 76 65 73 20 74 6f 20 70 |t it ser|ves to p|
|00000ee0| 72 65 73 65 72 76 65 20 | 74 68 65 20 70 72 6f 70 |reserve |the prop|
|00000ef0| 65 72 74 79 20 74 68 61 | 74 20 74 68 65 0a 5c 68 |erty tha|t the.\h|
|00000f00| 79 70 65 72 7b 69 6e 69 | 74 7d 20 65 78 70 72 65 |yper{ini|t} expre|
|00000f10| 73 73 69 6f 6e 73 20 61 | 72 65 20 65 76 61 6c 75 |ssions a|re evalu|
|00000f20| 61 74 65 64 20 69 6e 20 | 61 6e 20 61 72 62 69 74 |ated in |an arbit|
|00000f30| 72 61 72 79 20 6f 72 64 | 65 72 2e 0a 0a 0a 5c 62 |rary ord|er....\b|
|00000f40| 65 67 69 6e 7b 73 63 68 | 65 6d 65 6e 6f 69 6e 64 |egin{sch|emenoind|
|00000f50| 65 6e 74 7d 0a 0a 28 62 | 65 67 69 6e 20 5c 68 79 |ent}..(b|egin \hy|
|00000f60| 70 65 72 7b 73 65 71 75 | 65 6e 63 65 7d 29 0a 5c |per{sequ|ence}).\|
|00000f70| 69 65 74 20 20 28 28 6c | 61 6d 62 64 61 20 28 29 |iet ((l|ambda ()|
|00000f80| 20 5c 68 79 70 65 72 7b | 73 65 71 75 65 6e 63 65 | \hyper{|sequence|
|00000f90| 7d 29 29 25 0a 5c 65 6e | 64 7b 73 63 68 65 6d 65 |}))%.\en|d{scheme|
|00000fa0| 6e 6f 69 6e 64 65 6e 74 | 7d 0a 54 68 65 20 66 6f |noindent|}.The fo|
|00000fb0| 6c 6c 6f 77 69 6e 67 20 | 61 6c 74 65 72 6e 61 74 |llowing |alternat|
|00000fc0| 69 76 65 20 65 78 70 61 | 6e 73 69 6f 6e 20 66 6f |ive expa|nsion fo|
|00000fd0| 72 20 5c 69 64 65 7b 62 | 65 67 69 6e 7d 20 64 6f |r \ide{b|egin} do|
|00000fe0| 65 73 20 6e 6f 74 20 6d | 61 6b 65 20 75 73 65 20 |es not m|ake use |
|00000ff0| 6f 66 0a 74 68 65 20 61 | 62 69 6c 69 74 79 20 74 |of.the a|bility t|
|00001000| 6f 20 77 72 69 74 65 20 | 6d 6f 72 65 20 74 68 61 |o write |more tha|
|00001010| 6e 20 6f 6e 65 20 65 78 | 70 72 65 73 73 69 6f 6e |n one ex|pression|
|00001020| 20 69 6e 20 74 68 65 20 | 62 6f 64 79 20 6f 66 20 | in the |body of |
|00001030| 61 20 6c 61 6d 62 64 61 | 0a 65 78 70 72 65 73 73 |a lambda|.express|
|00001040| 69 6f 6e 2e 20 20 49 6e | 20 61 6e 79 20 63 61 73 |ion. In| any cas|
|00001050| 65 2c 20 6e 6f 74 65 20 | 74 68 61 74 20 74 68 65 |e, note |that the|
|00001060| 73 65 20 72 75 6c 65 73 | 20 61 70 70 6c 79 20 6f |se rules| apply o|
|00001070| 6e 6c 79 20 69 66 0a 5c | 68 79 70 65 72 7b 73 65 |nly if.\|hyper{se|
|00001080| 71 75 65 6e 63 65 7d 20 | 63 6f 6e 74 61 69 6e 73 |quence} |contains|
|00001090| 20 6e 6f 20 64 65 66 69 | 6e 69 74 69 6f 6e 73 2e | no defi|nitions.|
|000010a0| 0a 5c 62 65 67 69 6e 7b | 73 63 68 65 6d 65 6e 6f |.\begin{|schemeno|
|000010b0| 69 6e 64 65 6e 74 7d 0a | 28 62 65 67 69 6e 20 5c |indent}.|(begin \|
|000010c0| 68 79 70 65 72 7b 65 78 | 70 72 65 73 73 69 6f 6e |hyper{ex|pression|
|000010d0| 7d 29 5c 69 65 74 20 20 | 5c 68 79 70 65 72 7b 65 |})\iet |\hyper{e|
|000010e0| 78 70 72 65 73 73 69 6f | 6e 7d 0a 28 62 65 67 69 |xpressio|n}.(begi|
|000010f0| 6e 20 5c 68 79 70 65 72 | 7b 63 6f 6d 6d 61 6e 64 |n \hyper|{command|
|00001100| 7d 20 5c 68 79 70 65 72 | 7b 73 65 71 75 65 6e 63 |} \hyper|{sequenc|
|00001110| 65 7d 29 0a 5c 69 65 74 | 20 20 28 28 6c 61 6d 62 |e}).\iet| ((lamb|
|00001120| 64 61 20 28 69 67 6e 6f | 72 65 20 74 68 75 6e 6b |da (igno|re thunk|
|00001130| 29 20 28 74 68 75 6e 6b | 29 29 0a 20 20 20 20 20 |) (thunk|)). |
|00001140| 20 20 5c 68 79 70 65 72 | 7b 63 6f 6d 6d 61 6e 64 | \hyper|{command|
|00001150| 7d 0a 20 20 20 20 20 20 | 20 28 6c 61 6d 62 64 61 |}. | (lambda|
|00001160| 20 28 29 20 28 62 65 67 | 69 6e 20 5c 68 79 70 65 | () (beg|in \hype|
|00001170| 72 7b 73 65 71 75 65 6e | 63 65 7d 29 29 29 25 0a |r{sequen|ce})))%.|
|00001180| 5c 65 6e 64 7b 73 63 68 | 65 6d 65 6e 6f 69 6e 64 |\end{sch|emenoind|
|00001190| 65 6e 74 7d 0a 0a 0a 5c | 62 65 67 69 6e 7b 73 63 |ent}...\|begin{sc|
|000011a0| 68 65 6d 65 6e 6f 69 6e | 64 65 6e 74 7d 0a 28 64 |hemenoin|dent}.(d|
|000011b0| 6f 20 28 28 5c 68 79 70 | 65 72 69 7b 76 61 72 69 |o ((\hyp|eri{vari|
|000011c0| 61 62 6c 65 7d 20 5c 68 | 79 70 65 72 69 7b 69 6e |able} \h|yperi{in|
|000011d0| 69 74 7d 20 5c 68 79 70 | 65 72 69 7b 73 74 65 70 |it} \hyp|eri{step|
|000011e0| 7d 29 20 0a 20 20 20 20 | 20 5c 64 6f 74 73 66 6f |}) . | \dotsfo|
|000011f0| 6f 29 0a 20 20 20 20 28 | 5c 68 79 70 65 72 7b 74 |o). (|\hyper{t|
|00001200| 65 73 74 7d 20 5c 68 79 | 70 65 72 7b 73 65 71 75 |est} \hy|per{sequ|
|00001210| 65 6e 63 65 7d 29 0a 20 | 20 5c 68 79 70 65 72 69 |ence}). | \hyperi|
|00001220| 7b 63 6f 6d 6d 61 6e 64 | 7d 20 5c 64 6f 74 73 66 |{command|} \dotsf|
|00001230| 6f 6f 29 0a 5c 69 65 74 | 20 20 28 6c 65 74 72 65 |oo).\iet| (letre|
|00001240| 63 20 28 28 5c 68 79 70 | 65 72 7b 6c 6f 6f 70 7d |c ((\hyp|er{loop}|
|00001250| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|00001260| 20 28 6c 61 6d 62 64 61 | 20 28 5c 68 79 70 65 72 | (lambda| (\hyper|
|00001270| 69 7b 76 61 72 69 61 62 | 6c 65 7d 20 5c 64 6f 74 |i{variab|le} \dot|
|00001280| 73 66 6f 6f 29 0a 20 20 | 20 20 20 20 20 20 20 20 |sfoo). | |
|00001290| 20 20 20 20 20 20 20 20 | 28 69 66 20 5c 68 79 70 | |(if \hyp|
|000012a0| 65 72 7b 74 65 73 74 7d | 0a 20 20 20 20 20 20 20 |er{test}|. |
|000012b0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 28 | | (|
|000012c0| 62 65 67 69 6e 20 5c 68 | 79 70 65 72 7b 73 65 71 |begin \h|yper{seq|
|000012d0| 75 65 6e 63 65 7d 29 0a | 20 20 20 20 20 20 20 20 |uence}).| |
|000012e0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 28 62 | | (b|
|000012f0| 65 67 69 6e 20 5c 68 79 | 70 65 72 69 7b 63 6f 6d |egin \hy|peri{com|
|00001300| 6d 61 6e 64 7d 0a 20 20 | 20 20 20 20 20 20 20 20 |mand}. | |
|00001310| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00001320| 20 20 20 5c 64 6f 74 73 | 66 6f 6f 0a 20 20 20 20 | \dots|foo. |
|00001330| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00001340| 20 20 20 20 20 20 20 20 | 20 28 5c 68 79 70 65 72 | | (\hyper|
|00001350| 7b 6c 6f 6f 70 7d 20 5c | 68 79 70 65 72 69 7b 73 |{loop} \|hyperi{s|
|00001360| 74 65 70 7d 20 5c 64 6f | 74 73 66 6f 6f 29 29 29 |tep} \do|tsfoo)))|
|00001370| 29 29 29 0a 20 20 20 20 | 20 20 20 20 28 5c 68 79 |))). | (\hy|
|00001380| 70 65 72 7b 6c 6f 6f 70 | 7d 20 5c 68 79 70 65 72 |per{loop|} \hyper|
|00001390| 69 7b 69 6e 69 74 7d 20 | 5c 64 6f 74 73 66 6f 6f |i{init} |\dotsfoo|
|000013a0| 29 29 25 0a 5c 65 6e 64 | 7b 73 63 68 65 6d 65 6e |))%.\end|{schemen|
|000013b0| 6f 69 6e 64 65 6e 74 7d | 0a 77 68 65 72 65 20 5c |oindent}|.where \|
|000013c0| 68 79 70 65 72 7b 6c 6f | 6f 70 7d 20 69 73 20 61 |hyper{lo|op} is a|
|000013d0| 6e 79 20 76 61 72 69 61 | 62 6c 65 20 77 68 69 63 |ny varia|ble whic|
|000013e0| 68 20 69 73 20 64 69 73 | 74 69 6e 63 74 20 66 72 |h is dis|tinct fr|
|000013f0| 6f 6d 0a 5c 68 79 70 65 | 72 69 7b 76 61 72 69 61 |om.\hype|ri{varia|
|00001400| 62 6c 65 7d 2c 7e 5c 64 | 6f 74 73 66 6f 6f 2c 20 |ble},~\d|otsfoo, |
|00001410| 61 6e 64 20 77 68 69 63 | 68 20 64 6f 65 73 20 6e |and whic|h does n|
|00001420| 6f 74 20 6f 63 63 75 72 | 20 66 72 65 65 20 69 6e |ot occur| free in|
|00001430| 20 74 68 65 20 5c 69 64 | 65 7b 64 6f 7d 0a 65 78 | the \id|e{do}.ex|
|00001440| 70 72 65 73 73 69 6f 6e | 2e 0a 0a 5c 62 65 67 69 |pression|...\begi|
|00001450| 6e 7b 73 63 68 65 6d 65 | 6e 6f 69 6e 64 65 6e 74 |n{scheme|noindent|
|00001460| 7d 0a 28 6c 65 74 20 5c | 68 79 70 65 72 7b 76 61 |}.(let \|hyper{va|
|00001470| 72 69 61 62 6c 65 24 5f | 30 24 7d 20 28 28 5c 68 |riable$_|0$} ((\h|
|00001480| 79 70 65 72 69 7b 76 61 | 72 69 61 62 6c 65 7d 20 |yperi{va|riable} |
|00001490| 5c 68 79 70 65 72 69 7b | 69 6e 69 74 7d 29 20 5c |\hyperi{|init}) \|
|000014a0| 64 6f 74 73 66 6f 6f 29 | 0a 20 20 5c 68 79 70 65 |dotsfoo)|. \hype|
|000014b0| 72 7b 62 6f 64 79 7d 29 | 0a 5c 69 65 74 20 20 28 |r{body})|.\iet (|
|000014c0| 28 6c 65 74 72 65 63 20 | 28 28 5c 68 79 70 65 72 |(letrec |((\hyper|
|000014d0| 7b 76 61 72 69 61 62 6c | 65 24 5f 30 24 7d 20 28 |{variabl|e$_0$} (|
|000014e0| 6c 61 6d 62 64 61 20 28 | 5c 68 79 70 65 72 69 7b |lambda (|\hyperi{|
|000014f0| 76 61 72 69 61 62 6c 65 | 7d 20 5c 64 6f 74 73 66 |variable|} \dotsf|
|00001500| 6f 6f 29 0a 20 20 20 20 | 20 20 20 20 20 20 20 20 |oo). | |
|00001510| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00001520| 20 5c 68 79 70 65 72 7b | 62 6f 64 79 7d 29 29 29 | \hyper{|body})))|
|00001530| 0a 20 20 20 20 20 20 20 | 20 20 20 5c 68 79 70 65 |. | \hype|
|00001540| 72 7b 76 61 72 69 61 62 | 6c 65 24 5f 30 24 7d 29 |r{variab|le$_0$})|
|00001550| 0a 20 20 20 20 20 20 20 | 5c 68 79 70 65 72 69 7b |. |\hyperi{|
|00001560| 69 6e 69 74 7d 20 5c 64 | 6f 74 73 66 6f 6f 29 0a |init} \d|otsfoo).|
|00001570| 0a 28 64 65 6c 61 79 20 | 5c 68 79 70 65 72 7b 65 |.(delay |\hyper{e|
|00001580| 78 70 72 65 73 73 69 6f | 6e 7d 29 0a 5c 69 65 74 |xpressio|n}).\iet|
|00001590| 20 20 28 5c 68 79 70 65 | 72 7b 6d 61 6b 65 2d 70 | (\hype|r{make-p|
|000015a0| 72 6f 6d 69 73 65 7d 20 | 28 6c 61 6d 62 64 61 20 |romise} |(lambda |
|000015b0| 28 29 20 5c 68 79 70 65 | 72 7b 65 78 70 72 65 73 |() \hype|r{expres|
|000015c0| 73 69 6f 6e 7d 29 29 25 | 0a 5c 65 6e 64 7b 73 63 |sion}))%|.\end{sc|
|000015d0| 68 65 6d 65 6e 6f 69 6e | 64 65 6e 74 7d 0a 77 68 |hemenoin|dent}.wh|
|000015e0| 65 72 65 20 5c 68 79 70 | 65 72 7b 6d 61 6b 65 2d |ere \hyp|er{make-|
|000015f0| 70 72 6f 6d 69 73 65 7d | 20 69 73 20 61 6e 20 65 |promise}| is an e|
|00001600| 78 70 72 65 73 73 69 6f | 6e 20 65 76 61 6c 75 61 |xpressio|n evalua|
|00001610| 74 69 6e 67 20 74 6f 20 | 73 6f 6d 65 20 70 72 6f |ting to |some pro|
|00001620| 63 65 64 75 72 65 0a 77 | 68 69 63 68 20 62 65 68 |cedure.w|hich beh|
|00001630| 61 76 65 73 20 61 70 70 | 72 6f 70 72 69 61 74 65 |aves app|ropriate|
|00001640| 6c 79 20 77 69 74 68 20 | 72 65 73 70 65 63 74 20 |ly with |respect |
|00001650| 74 6f 20 74 68 65 20 5c | 69 64 65 7b 66 6f 72 63 |to the \|ide{forc|
|00001660| 65 7d 20 70 72 6f 63 65 | 64 75 72 65 3b 0a 73 65 |e} proce|dure;.se|
|00001670| 65 20 73 65 63 74 69 6f | 6e 7e 5c 72 65 66 7b 66 |e sectio|n~\ref{f|
|00001680| 6f 72 63 65 7d 2e 0a 0a | 25 20 60 61 20 20 20 20 |orce}...|% `a |
|00001690| 20 20 20 20 20 20 20 20 | 20 20 20 20 3d 20 20 51 | | = Q|
|000016a0| 5f 31 5b 61 5d 0a 25 20 | 60 28 61 20 62 20 63 20 |_1[a].% |`(a b c |
|000016b0| 2e 2e 2e 20 2e 20 7a 29 | 20 20 3d 20 20 60 28 61 |... . z)| = `(a|
|000016c0| 20 2e 20 28 62 20 63 20 | 2e 2e 2e 29 29 0a 25 20 | . (b c |...)).% |
|000016d0| 60 28 61 20 2e 20 62 29 | 20 20 20 20 20 20 20 20 |`(a . b)| |
|000016e0| 20 20 3d 20 20 28 61 70 | 70 65 6e 64 20 51 2a 5f | = (ap|pend Q*_|
|000016f0| 30 5b 61 5d 20 60 62 29 | 0a 25 20 60 28 61 29 20 |0[a] `b)|.% `(a) |
|00001700| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 3d 20 20 | | = |
|00001710| 51 2a 5f 30 5b 61 5d 0a | 25 20 51 2a 5f 30 5b 61 |Q*_0[a].|% Q*_0[a|
|00001720| 5d 20 20 20 20 20 20 20 | 20 20 20 20 3d 20 20 28 |] | = (|
|00001730| 6c 69 73 74 20 27 61 29 | 0a 25 20 51 2a 5f 30 5b |list 'a)|.% Q*_0[|
|00001740| 2c 61 5d 20 20 20 20 20 | 20 20 20 20 20 3d 20 20 |,a] | = |
|00001750| 28 6c 69 73 74 20 61 29 | 0a 25 20 51 2a 5f 30 5b |(list a)|.% Q*_0[|
|00001760| 2c 40 61 5d 20 20 20 20 | 20 20 20 20 20 3d 20 20 |,@a] | = |
|00001770| 61 0a 25 20 51 2a 5f 30 | 5b 60 61 5d 20 20 20 20 |a.% Q*_0|[`a] |
|00001780| 20 20 20 20 20 20 3d 20 | 20 28 6c 69 73 74 20 27 | = | (list '|
|00001790| 71 75 61 73 69 71 75 6f | 74 65 20 51 2a 5f 31 5b |quasiquo|te Q*_1[|
|000017a0| 61 5d 29 0a 25 20 60 23 | 28 61 20 62 20 2e 2e 2e |a]).% `#|(a b ...|
|000017b0| 29 20 20 20 20 20 20 20 | 3d 20 20 28 6c 69 73 74 |) |= (list|
|000017c0| 2d 3e 76 65 63 74 6f 72 | 20 60 28 61 20 62 20 2e |->vector| `(a b .|
|000017d0| 2e 2e 29 29 0a 25 20 20 | 75 67 68 2e 0a |..)).% |ugh.. |
+--------+-------------------------+-------------------------+--------+--------+
