/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / scheme / schmrprt / jun-mtng.lha / meeting.tex

< prev

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 64 6f 63 75 6d 65 6e | 74 73 74 79 6c 65 5b 31 |\documen|tstyle[1|
|00000010| 31 70 74 2c 74 77 6f 73 | 69 64 65 5d 7b 61 72 74 |1pt,twos|ide]{art|
|00000020| 69 63 6c 65 7d 0a 0a 5c | 69 6e 70 75 74 7b 63 6f |icle}..\|input{co|
|00000030| 64 65 7d 0a 5c 69 6e 70 | 75 74 7b 6c 61 74 65 78 |de}.\inp|ut{latex|
|00000040| 2d 73 74 75 66 66 7d 0a | 0a 5c 61 64 76 61 6e 63 |-stuff}.|.\advanc|
|00000050| 65 20 5c 74 65 78 74 68 | 65 69 67 68 74 20 62 79 |e \texth|eight by|
|00000060| 20 32 65 78 0a 0a 5c 62 | 65 67 69 6e 7b 64 6f 63 | 2ex..\b|egin{doc|
|00000070| 75 6d 65 6e 74 7d 0a 0a | 5c 62 65 67 69 6e 7b 63 |ument}..|\begin{c|
|00000080| 65 6e 74 65 72 7d 0a 7b | 5c 4c 61 72 67 65 5c 62 |enter}.{|\Large\b|
|00000090| 66 20 54 68 65 20 53 63 | 68 65 6d 65 20 6f 66 20 |f The Sc|heme of |
|000000a0| 54 68 69 6e 67 73 3a 7d | 20 5c 5c 0a 5c 76 73 70 |Things:}| \\.\vsp|
|000000b0| 61 63 65 7b 32 65 78 7d | 0a 7b 5c 4c 61 72 67 65 |ace{2ex}|.{\Large|
|000000c0| 5c 62 66 20 54 68 65 20 | 4a 75 6e 65 20 31 39 39 |\bf The |June 199|
|000000d0| 32 20 4d 65 65 74 69 6e | 67 24 5e 7b 5c 68 62 6f |2 Meetin|g$^{\hbo|
|000000e0| 78 7b 5c 73 63 72 69 70 | 74 73 69 7a 65 20 31 7d |x{\scrip|tsize 1}|
|000000f0| 7d 24 7d 20 5c 5c 0a 5c | 76 73 70 61 63 65 7b 33 |}$} \\.\|vspace{3|
|00000100| 65 78 7d 0a 4a 6f 6e 61 | 74 68 61 6e 20 52 65 65 |ex}.Jona|than Ree|
|00000110| 73 20 5c 5c 0a 43 6f 72 | 6e 65 6c 6c 20 55 6e 69 |s \\.Cor|nell Uni|
|00000120| 76 65 72 73 69 74 79 20 | 5c 5c 0a 7b 5c 74 74 20 |versity |\\.{\tt |
|00000130| 6a 61 72 40 63 73 2e 63 | 6f 72 6e 65 6c 6c 2e 65 |jar@cs.c|ornell.e|
|00000140| 64 75 7d 0a 5c 65 6e 64 | 7b 63 65 6e 74 65 72 7d |du}.\end|{center}|
|00000150| 0a 0a 5c 76 73 70 61 63 | 65 7b 33 65 78 7d 0a 0a |..\vspac|e{3ex}..|
|00000160| 5c 66 6f 6f 74 6e 6f 74 | 65 74 65 78 74 5b 31 5d |\footnot|etext[1]|
|00000170| 7b 54 6f 20 61 70 70 65 | 61 72 20 69 6e 20 7b 5c |{To appe|ar in {\|
|00000180| 65 6d 20 4c 69 73 70 20 | 50 6f 69 6e 74 65 72 73 |em Lisp |Pointers|
|00000190| 7d 20 56 28 34 29 2c 0a | 4f 63 74 6f 62 65 72 2d |} V(4),.|October-|
|000001a0| 2d 44 65 63 65 6d 62 65 | 72 20 31 39 39 32 2e 7d |-Decembe|r 1992.}|
|000001b0| 0a 0a 0a 41 6e 20 69 6e | 66 6f 72 6d 61 6c 6c 79 |...An in|formally|
|000001c0| 20 63 6f 6e 73 74 69 74 | 75 74 65 64 20 67 72 6f | constit|uted gro|
|000001d0| 75 70 20 6f 66 20 70 65 | 6f 70 6c 65 20 69 6e 74 |up of pe|ople int|
|000001e0| 65 72 65 73 74 65 64 20 | 69 6e 20 74 68 65 20 66 |erested |in the f|
|000001f0| 75 74 75 72 65 20 6f 66 | 0a 74 68 65 20 53 63 68 |uture of|.the Sch|
|00000200| 65 6d 65 20 70 72 6f 67 | 72 61 6d 6d 69 6e 67 20 |eme prog|ramming |
|00000210| 6c 61 6e 67 75 61 67 65 | 20 6d 65 74 20 61 74 20 |language| met at |
|00000220| 74 68 65 20 58 65 72 6f | 78 20 50 61 6c 6f 20 41 |the Xero|x Palo A|
|00000230| 6c 74 6f 20 52 65 73 65 | 61 72 63 68 0a 43 65 6e |lto Rese|arch.Cen|
|00000240| 74 65 72 20 6f 6e 20 32 | 35 20 4a 75 6e 65 20 31 |ter on 2|5 June 1|
|00000250| 39 39 32 2e 20 20 54 68 | 65 20 6d 61 69 6e 20 70 |992.  Th|e main p|
|00000260| 75 72 70 6f 73 65 20 6f | 66 20 74 68 65 20 6d 65 |urpose o|f the me|
|00000270| 65 74 69 6e 67 20 77 61 | 73 20 74 6f 20 77 6f 72 |eting wa|s to wor|
|00000280| 6b 0a 6f 6e 20 74 68 65 | 20 74 65 63 68 6e 69 63 |k.on the| technic|
|00000290| 61 6c 20 63 6f 6e 74 65 | 6e 74 20 6f 66 20 74 68 |al conte|nt of th|
|000002a0| 65 20 6e 65 78 74 20 72 | 65 76 69 73 69 6f 6e 20 |e next r|evision |
|000002b0| 6f 66 20 74 68 65 20 53 | 63 68 65 6d 65 20 72 65 |of the S|cheme re|
|000002c0| 70 6f 72 74 2e 0a 0a 57 | 65 20 6d 61 64 65 20 70 |port...W|e made p|
|000002d0| 72 6f 67 72 65 73 73 20 | 6f 6e 20 73 65 76 65 72 |rogress |on sever|
|000002e0| 61 6c 20 66 72 6f 6e 74 | 73 3a 0a 5c 62 65 67 69 |al front|s:.\begi|
|000002f0| 6e 7b 69 74 65 6d 69 7a | 65 7d 0a 5c 69 74 65 6d |n{itemiz|e}.\item|
|00000300| 20 53 6f 6d 65 20 64 69 | 66 66 65 72 65 6e 63 65 | Some di|fference|
|00000310| 73 20 77 69 74 68 20 74 | 68 65 20 49 45 45 45 20 |s with t|he IEEE |
|00000320| 53 63 68 65 6d 65 20 73 | 74 61 6e 64 61 72 64 20 |Scheme s|tandard |
|00000330| 77 65 72 65 20 72 65 73 | 6f 6c 76 65 64 2e 0a 0a |were res|olved...|
|00000340| 5c 69 74 65 6d 20 50 72 | 6f 70 6f 73 61 6c 73 20 |\item Pr|oposals |
|00000350| 66 6f 72 20 6d 75 6c 74 | 69 70 6c 65 20 72 65 74 |for mult|iple ret|
|00000360| 75 72 6e 20 76 61 6c 75 | 65 73 20 61 6e 64 20 7b |urn valu|es and {|
|00000370| 5c 74 74 20 64 79 6e 61 | 6d 69 63 2d 77 69 6e 64 |\tt dyna|mic-wind|
|00000380| 7d 20 77 65 72 65 0a 61 | 64 6f 70 74 65 64 2e 0a |} were.a|dopted..|
|00000390| 0a 5c 69 74 65 6d 20 41 | 20 70 72 6f 70 6f 73 61 |.\item A| proposa|
|000003a0| 6c 20 66 6f 72 20 61 6e | 20 7b 5c 74 74 20 65 76 |l for an| {\tt ev|
|000003b0| 61 6c 7d 20 70 72 6f 63 | 65 64 75 72 65 20 77 61 |al} proc|edure wa|
|000003c0| 73 20 61 64 6f 70 74 65 | 64 2e 0a 0a 5c 69 74 65 |s adopte|d...\ite|
|000003d0| 6d 20 54 68 65 20 68 69 | 67 68 2d 6c 65 76 65 6c |m The hi|gh-level|
|000003e0| 20 6d 61 63 72 6f 20 66 | 61 63 69 6c 69 74 79 20 | macro f|acility |
|000003f0| 64 65 73 63 72 69 62 65 | 64 20 69 6e 20 74 68 65 |describe|d in the|
|00000400| 20 0a 52 65 76 69 73 65 | 64 24 5e 34 24 20 52 65 | .Revise|d$^4$ Re|
|00000410| 70 6f 72 74 27 73 20 61 | 70 70 65 6e 64 69 78 20 |port's a|ppendix |
|00000420| 77 69 6c 6c 20 62 65 20 | 6d 6f 76 65 64 20 69 6e |will be |moved in|
|00000430| 74 6f 20 74 68 65 20 72 | 65 70 6f 72 74 20 70 72 |to the r|eport pr|
|00000440| 6f 70 65 72 2e 0a 5c 65 | 6e 64 7b 69 74 65 6d 69 |oper..\e|nd{itemi|
|00000450| 7a 65 7d 0a 0a 54 77 6f | 20 73 75 62 63 6f 6d 6d |ze}..Two| subcomm|
|00000460| 69 74 74 65 65 73 20 77 | 65 72 65 20 66 6f 72 6d |ittees w|ere form|
|00000470| 65 64 3a 20 6f 6e 65 20 | 74 6f 20 77 6f 72 6b 20 |ed: one |to work |
|00000480| 6f 6e 20 65 78 63 65 70 | 74 69 6f 6e 73 2c 20 61 |on excep|tions, a|
|00000490| 6e 64 20 6f 6e 65 20 74 | 6f 0a 63 68 61 72 74 65 |nd one t|o.charte|
|000004a0| 72 20 74 68 65 20 66 6f | 72 6d 61 74 69 6f 6e 20 |r the fo|rmation |
|000004b0| 6f 66 20 61 20 73 74 61 | 6e 64 61 72 64 20 6c 69 |of a sta|ndard li|
|000004c0| 62 72 61 72 79 2e 20 20 | 54 68 65 20 73 75 62 63 |brary.  |The subc|
|000004d0| 6f 6d 6d 69 74 74 65 65 | 73 20 77 69 6c 6c 0a 72 |ommittee|s will.r|
|000004e0| 65 70 6f 72 74 20 62 61 | 63 6b 20 74 6f 20 74 68 |eport ba|ck to th|
|000004f0| 65 20 67 72 6f 75 70 20 | 77 69 74 68 20 70 72 6f |e group |with pro|
|00000500| 70 6f 73 61 6c 73 20 66 | 6f 72 20 69 6e 63 6c 75 |posals f|or inclu|
|00000510| 73 69 6f 6e 20 69 6e 20 | 74 68 65 20 72 65 70 6f |sion in |the repo|
|00000520| 72 74 2e 0a 0a 49 74 20 | 68 61 64 20 62 65 65 6e |rt...It |had been|
|00000530| 20 68 6f 70 65 64 20 74 | 68 61 74 20 74 68 65 72 | hoped t|hat ther|
|00000540| 65 20 77 6f 75 6c 64 20 | 62 65 20 70 72 6f 67 72 |e would |be progr|
|00000550| 65 73 73 20 6f 6e 20 73 | 6f 6d 65 20 6f 74 68 65 |ess on s|ome othe|
|00000560| 72 20 66 72 6f 6e 74 73 | 0a 28 75 73 65 72 2d 64 |r fronts|.(user-d|
|00000570| 65 66 69 6e 65 64 20 74 | 79 70 65 73 2c 20 64 79 |efined t|ypes, dy|
|00000580| 6e 61 6d 69 63 20 62 69 | 6e 64 69 6e 67 2c 20 69 |namic bi|nding, i|
|00000590| 6d 70 72 6f 76 65 6d 65 | 6e 74 73 20 74 6f 20 60 |mproveme|nts to `|
|000005a0| 60 72 65 73 74 27 27 0a | 70 61 72 61 6d 65 74 65 |`rest''.|paramete|
|000005b0| 72 73 29 2c 20 62 75 74 | 20 61 66 74 65 72 20 69 |rs), but| after i|
|000005c0| 6e 63 6f 6e 63 6c 75 73 | 69 76 65 20 64 69 73 63 |nconclus|ive disc|
|000005d0| 75 73 73 69 6f 6e 20 74 | 68 65 73 65 20 74 6f 70 |ussion t|hese top|
|000005e0| 69 63 73 20 77 65 72 65 | 0a 64 72 6f 70 70 65 64 |ics were|.dropped|
|000005f0| 2e 20 20 54 68 65 73 65 | 20 74 6f 70 69 63 73 20 |.  These| topics |
|00000600| 77 69 6c 6c 20 70 72 6f | 62 61 62 6c 79 20 62 65 |will pro|bably be|
|00000610| 20 74 61 6b 65 6e 20 75 | 70 20 61 67 61 69 6e 20 | taken u|p again |
|00000620| 69 6e 20 74 68 65 20 66 | 75 74 75 72 65 2e 0a 0a |in the f|uture...|
|00000630| 4e 6f 72 6d 61 6e 20 41 | 64 61 6d 73 20 77 61 73 |Norman A|dams was|
|00000640| 20 61 70 70 6f 69 6e 74 | 65 64 20 74 68 65 20 52 | appoint|ed the R|
|00000650| 65 76 69 73 65 64 24 5e | 35 24 20 52 65 70 6f 72 |evised$^|5$ Repor|
|00000660| 74 27 73 20 65 64 69 74 | 6f 72 2e 20 20 49 74 20 |t's edit|or.  It |
|00000670| 69 73 0a 68 6f 70 65 64 | 20 74 68 61 74 20 69 74 |is.hoped| that it|
|00000680| 20 77 69 6c 6c 20 62 65 | 20 72 65 61 64 79 20 62 | will be| ready b|
|00000690| 79 20 65 61 72 6c 79 20 | 31 39 39 33 2c 20 73 6f |y early |1993, so|
|000006a0| 20 61 73 20 74 6f 20 70 | 72 65 63 65 64 65 20 74 | as to p|recede t|
|000006b0| 68 65 0a 72 65 63 6f 6e | 73 74 69 74 75 74 69 6f |he.recon|stitutio|
|000006c0| 6e 20 6f 66 20 74 68 65 | 20 49 45 45 45 20 73 74 |n of the| IEEE st|
|000006d0| 61 6e 64 61 72 64 20 67 | 72 6f 75 70 2e 0a 0a 54 |andard g|roup...T|
|000006e0| 68 69 73 20 61 72 74 69 | 63 6c 65 20 69 73 20 6d |his arti|cle is m|
|000006f0| 79 20 6f 77 6e 20 69 6e | 74 65 72 70 72 65 74 61 |y own in|terpreta|
|00000700| 74 69 6f 6e 20 6f 66 20 | 77 68 61 74 20 74 72 61 |tion of |what tra|
|00000710| 6e 73 70 69 72 65 64 2c | 20 61 6e 64 20 73 68 6f |nspired,| and sho|
|00000720| 75 6c 64 0a 6e 6f 74 20 | 62 65 20 63 6f 6e 73 74 |uld.not |be const|
|00000730| 72 75 65 64 20 61 73 20 | 64 65 66 69 6e 69 74 69 |rued as |definiti|
|00000740| 76 65 2e 0a 0a 0a 5c 70 | 69 65 63 65 7b 41 67 72 |ve....\p|iece{Agr|
|00000750| 65 65 6d 65 6e 74 20 77 | 69 74 68 20 74 68 65 20 |eement w|ith the |
|00000760| 49 45 45 45 20 53 63 68 | 65 6d 65 20 73 74 61 6e |IEEE Sch|eme stan|
|00000770| 64 61 72 64 7d 0a 0a 55 | 6e 74 69 6c 20 6e 6f 77 |dard}..U|ntil now|
|00000780| 2c 20 74 68 65 20 53 63 | 68 65 6d 65 20 72 65 70 |, the Sc|heme rep|
|00000790| 6f 72 74 73 20 68 61 76 | 65 20 65 6e 63 6f 75 72 |orts hav|e encour|
|000007a0| 61 67 65 64 20 62 75 74 | 20 6e 6f 74 20 72 65 71 |aged but| not req|
|000007b0| 75 69 72 65 64 20 74 68 | 65 0a 65 6d 70 74 79 20 |uired th|e.empty |
|000007c0| 6c 69 73 74 20 7b 5c 74 | 74 28 29 7d 20 61 6e 64 |list {\t|t()} and|
|000007d0| 20 74 68 65 20 62 6f 6f | 6c 65 61 6e 20 66 61 6c | the boo|lean fal|
|000007e0| 73 65 20 76 61 6c 75 65 | 20 7b 5c 74 74 5c 23 66 |se value| {\tt\#f|
|000007f0| 7d 20 74 6f 20 62 65 0a | 64 69 73 74 69 6e 63 74 |} to be.|distinct|
|00000800| 2e 20 20 49 74 20 68 61 | 73 20 62 65 65 6e 20 74 |.  It ha|s been t|
|00000810| 68 65 20 69 6e 74 65 6e | 74 20 65 76 65 72 20 73 |he inten|t ever s|
|00000820| 69 6e 63 65 20 74 68 65 | 20 52 65 76 69 73 65 64 |ince the| Revised|
|00000830| 20 52 65 76 69 73 65 64 | 0a 52 65 70 6f 72 74 2c | Revised|.Report,|
|00000840| 20 68 6f 77 65 76 65 72 | 2c 20 74 68 61 74 20 74 | however|, that t|
|00000850| 68 69 73 20 64 69 73 74 | 69 6e 63 74 69 6f 6e 20 |his dist|inction |
|00000860| 77 6f 75 6c 64 20 65 76 | 65 6e 74 75 61 6c 6c 79 |would ev|entually|
|00000870| 20 62 65 20 72 65 71 75 | 69 72 65 64 2e 0a 54 68 | be requ|ired..Th|
|00000880| 65 20 49 45 45 45 20 53 | 63 68 65 6d 65 20 73 74 |e IEEE S|cheme st|
|00000890| 61 6e 64 61 72 64 20 62 | 69 74 20 74 68 65 20 62 |andard b|it the b|
|000008a0| 75 6c 6c 65 74 20 69 6e | 20 31 39 39 30 2c 20 61 |ullet in| 1990, a|
|000008b0| 6e 64 20 6e 6f 77 20 74 | 68 65 0a 52 65 76 69 73 |nd now t|he.Revis|
|000008c0| 65 64 24 5e 35 24 20 72 | 65 70 6f 72 74 20 66 6f |ed$^5$ r|eport fo|
|000008d0| 6c 6c 6f 77 73 2e 0a 0a | 54 68 65 20 73 74 61 6e |llows...|The stan|
|000008e0| 64 61 72 64 20 61 6c 73 | 6f 20 64 72 6f 70 70 65 |dard als|o droppe|
|000008f0| 64 20 74 68 65 20 64 69 | 73 74 69 6e 63 74 69 6f |d the di|stinctio|
|00000900| 6e 20 62 65 74 77 65 65 | 6e 20 65 73 73 65 6e 74 |n betwee|n essent|
|00000910| 69 61 6c 20 61 6e 64 0a | 6e 6f 74 2d 65 73 73 65 |ial and.|not-esse|
|00000920| 6e 74 69 61 6c 20 6c 61 | 6e 67 75 61 67 65 20 66 |ntial la|nguage f|
|00000930| 65 61 74 75 72 65 73 3b | 20 6d 6f 73 74 20 66 65 |eatures;| most fe|
|00000940| 61 74 75 72 65 73 20 74 | 68 61 74 20 77 65 72 65 |atures t|hat were|
|00000950| 20 66 6f 72 6d 65 72 6c | 79 20 6e 6f 74 0a 65 73 | formerl|y not.es|
|00000960| 73 65 6e 74 69 61 6c 2c | 20 73 75 63 68 20 61 73 |sential,| such as|
|00000970| 20 6e 2d 61 72 79 20 7b | 5c 74 74 2b 7d 20 61 6e | n-ary {|\tt+} an|
|00000980| 64 20 7b 5c 74 74 20 61 | 70 70 6c 79 7d 2c 20 61 |d {\tt a|pply}, a|
|00000990| 72 65 20 6e 6f 77 20 72 | 65 71 75 69 72 65 64 2e |re now r|equired.|
|000009a0| 0a 54 68 65 20 52 65 76 | 69 73 65 64 24 5e 35 24 |.The Rev|ised$^5$|
|000009b0| 20 52 65 70 6f 72 74 20 | 77 69 6c 6c 20 61 64 6f | Report |will ado|
|000009c0| 70 74 20 74 68 69 73 20 | 73 74 61 6e 63 65 2c 20 |pt this |stance, |
|000009d0| 61 74 20 6c 65 61 73 74 | 20 61 73 20 72 65 67 61 |at least| as rega|
|000009e0| 72 64 73 0a 6c 61 6e 67 | 75 61 67 65 20 66 65 61 |rds.lang|uage fea|
|000009f0| 74 75 72 65 73 20 74 68 | 61 74 20 61 72 65 20 73 |tures th|at are s|
|00000a00| 68 61 72 65 64 20 77 69 | 74 68 20 74 68 65 20 49 |hared wi|th the I|
|00000a10| 45 45 45 20 73 74 61 6e | 64 61 72 64 2e 0a 4e 6f |EEE stan|dard..No|
|00000a20| 6e 2d 65 73 73 65 6e 74 | 69 61 6c 20 6e 6f 6e 2d |n-essent|ial non-|
|00000a30| 49 45 45 45 20 6f 64 64 | 69 74 69 65 73 20 73 75 |IEEE odd|ities su|
|00000a40| 63 68 20 61 73 20 7b 5c | 74 74 20 74 72 61 6e 73 |ch as {\|tt trans|
|00000a50| 63 72 69 70 74 2d 6f 6e | 7d 20 61 6e 64 20 7b 5c |cript-on|} and {\|
|00000a60| 74 74 0a 74 72 61 6e 73 | 63 72 69 70 74 2d 6f 66 |tt.trans|cript-of|
|00000a70| 66 7d 20 61 6e 64 20 74 | 68 65 20 70 72 6f 70 6f |f} and t|he propo|
|00000a80| 73 65 64 20 7b 5c 74 74 | 20 69 6e 74 65 72 61 63 |sed {\tt| interac|
|00000a90| 74 69 6f 6e 2d 65 6e 76 | 69 72 6f 6e 6d 65 6e 74 |tion-env|ironment|
|00000aa0| 7d 20 28 73 65 65 0a 62 | 65 6c 6f 77 29 20 77 65 |} (see.b|elow) we|
|00000ab0| 72 65 20 6e 6f 74 20 64 | 69 73 63 75 73 73 65 64 |re not d|iscussed|
|00000ac0| 20 61 74 20 74 68 65 20 | 6d 65 65 74 69 6e 67 2c | at the |meeting,|
|00000ad0| 20 68 6f 77 65 76 65 72 | 2c 20 61 6e 64 20 63 6f | however|, and co|
|00000ae0| 6e 73 65 6e 73 75 73 20 | 6f 6e 0a 74 68 65 69 72 |nsensus |on.their|
|00000af0| 20 73 74 61 74 75 73 20 | 77 69 6c 6c 20 68 61 76 | status |will hav|
|00000b00| 65 20 74 6f 20 62 65 20 | 72 65 61 63 68 65 64 20 |e to be |reached |
|00000b10| 76 69 61 20 65 6c 65 63 | 74 72 6f 6e 69 63 20 6d |via elec|tronic m|
|00000b20| 61 69 6c 2e 0a 0a 41 20 | 74 68 69 72 64 20 61 73 |ail...A |third as|
|00000b30| 70 65 63 74 20 6f 66 20 | 74 68 65 20 73 74 61 6e |pect of |the stan|
|00000b40| 64 61 72 64 20 74 68 61 | 74 20 77 61 73 20 61 64 |dard tha|t was ad|
|00000b50| 6f 70 74 65 64 20 77 61 | 73 20 61 20 63 65 72 74 |opted wa|s a cert|
|00000b60| 61 69 6e 20 6f 62 73 63 | 75 72 65 0a 70 61 72 61 |ain obsc|ure.para|
|00000b70| 67 72 61 70 68 20 72 65 | 67 61 72 64 69 6e 67 20 |graph re|garding |
|00000b80| 61 73 73 69 67 6e 6d 65 | 6e 74 73 20 74 6f 20 74 |assignme|nts to t|
|00000b90| 6f 70 2d 6c 65 76 65 6c | 20 76 61 72 69 61 62 6c |op-level| variabl|
|00000ba0| 65 73 20 28 73 65 63 74 | 69 6f 6e 20 36 2c 0a 70 |es (sect|ion 6,.p|
|00000bb0| 61 72 61 67 72 61 70 68 | 20 32 29 2e 20 20 54 68 |aragraph| 2).  Th|
|00000bc0| 65 20 65 66 66 65 63 74 | 20 6f 66 20 74 68 69 73 |e effect| of this|
|00000bd0| 20 69 73 20 74 68 61 74 | 20 69 66 20 61 20 70 72 | is that| if a pr|
|00000be0| 6f 67 72 61 6d 20 63 6f | 6e 74 61 69 6e 73 20 61 |ogram co|ntains a|
|00000bf0| 6e 0a 61 73 73 69 67 6e | 6d 65 6e 74 20 74 6f 20 |n.assign|ment to |
|00000c00| 61 6e 79 20 74 6f 70 2d | 6c 65 76 65 6c 20 76 61 |any top-|level va|
|00000c10| 72 69 61 62 6c 65 2c 20 | 74 68 65 6e 20 74 68 65 |riable, |then the|
|00000c20| 20 70 72 6f 67 72 61 6d | 20 6d 75 73 74 20 63 6f | program| must co|
|00000c30| 6e 74 61 69 6e 20 61 0a | 7b 5c 74 74 20 64 65 66 |ntain a.|{\tt def|
|00000c40| 69 6e 65 7d 20 66 6f 72 | 20 74 68 61 74 20 76 61 |ine} for| that va|
|00000c50| 72 69 61 62 6c 65 3b 20 | 69 74 20 69 73 20 6e 6f |riable; |it is no|
|00000c60| 74 20 73 75 66 66 69 63 | 69 65 6e 74 20 74 68 61 |t suffic|ient tha|
|00000c70| 74 20 74 68 65 20 76 61 | 72 69 61 62 6c 65 0a 62 |t the va|riable.b|
|00000c80| 65 20 62 6f 75 6e 64 2e | 20 20 54 68 69 73 20 68 |e bound.|  This h|
|00000c90| 61 73 20 62 65 65 6e 20 | 74 68 65 20 63 61 73 65 |as been |the case|
|00000ca0| 20 66 6f 72 20 6d 6f 73 | 74 20 76 61 72 69 61 62 | for mos|t variab|
|00000cb0| 6c 65 73 2c 20 62 75 74 | 20 74 68 65 20 72 75 6c |les, but| the rul|
|00000cc0| 65 0a 61 70 70 6c 69 65 | 73 20 61 73 20 77 65 6c |e.applie|s as wel|
|00000cd0| 6c 20 74 6f 20 76 61 72 | 69 61 62 6c 65 73 20 73 |l to var|iables s|
|00000ce0| 75 63 68 20 61 73 20 7b | 5c 74 74 20 63 61 72 7d |uch as {|\tt car}|
|00000cf0| 20 74 68 61 74 20 68 61 | 76 65 20 62 75 69 6c 74 | that ha|ve built|
|00000d00| 2d 69 6e 0a 62 69 6e 64 | 69 6e 67 73 2e 20 20 49 |-in.bind|ings.  I|
|00000d10| 6e 20 61 64 64 69 74 69 | 6f 6e 2c 20 69 74 20 69 |n additi|on, it i|
|00000d20| 73 20 63 6c 61 72 69 66 | 69 65 64 20 74 68 61 74 |s clarif|ied that|
|00000d30| 20 69 66 20 61 20 70 72 | 6f 67 72 61 6d 20 6d 61 | if a pr|ogram ma|
|00000d40| 6b 65 73 20 73 75 63 68 | 20 61 0a 64 65 66 69 6e |kes such| a.defin|
|00000d50| 69 74 69 6f 6e 20 6f 72 | 20 61 73 73 69 67 6e 6d |ition or| assignm|
|00000d60| 65 6e 74 2c 20 74 68 65 | 6e 20 74 68 65 20 62 65 |ent, the|n the be|
|00000d70| 68 61 76 69 6f 72 20 6f | 66 20 62 75 69 6c 74 2d |havior o|f built-|
|00000d80| 69 6e 20 70 72 6f 63 65 | 64 75 72 65 73 0a 77 69 |in proce|dures.wi|
|00000d90| 6c 6c 20 6e 6f 74 20 62 | 65 20 61 66 66 65 63 74 |ll not b|e affect|
|00000da0| 65 64 2e 20 20 46 6f 72 | 20 65 78 61 6d 70 6c 65 |ed.  For| example|
|00000db0| 2c 20 72 65 64 65 66 69 | 6e 69 6e 67 20 7b 5c 74 |, redefi|ning {\t|
|00000dc0| 74 20 6c 65 6e 67 74 68 | 7d 20 63 61 6e 6e 6f 74 |t length|} cannot|
|00000dd0| 0a 61 66 66 65 63 74 20 | 74 68 65 20 62 65 68 61 |.affect |the beha|
|00000de0| 76 69 6f 72 20 6f 66 20 | 74 68 65 20 62 75 69 6c |vior of |the buil|
|00000df0| 74 2d 69 6e 20 7b 5c 74 | 74 20 6c 69 73 74 2d 3e |t-in {\t|t list->|
|00000e00| 76 65 63 74 6f 72 7d 20 | 70 72 6f 63 65 64 75 72 |vector} |procedur|
|00000e10| 65 2e 0a 49 66 20 69 6e | 20 73 6f 6d 65 20 70 61 |e..If in| some pa|
|00000e20| 72 74 69 63 75 6c 61 72 | 20 69 6d 70 6c 65 6d 65 |rticular| impleme|
|00000e30| 6e 74 61 74 69 6f 6e 20 | 7b 5c 74 74 20 6c 69 73 |ntation |{\tt lis|
|00000e40| 74 2d 3e 76 65 63 74 6f | 72 7d 20 69 73 20 77 72 |t->vecto|r} is wr|
|00000e50| 69 74 74 65 6e 0a 69 6e | 20 53 63 68 65 6d 65 20 |itten.in| Scheme |
|00000e60| 61 6e 64 20 63 61 6c 6c | 73 20 7b 5c 74 74 20 6c |and call|s {\tt l|
|00000e70| 65 6e 67 74 68 7d 2c 20 | 74 68 65 6e 20 69 74 20 |ength}, |then it |
|00000e80| 6d 75 73 74 20 62 65 20 | 73 75 72 65 20 74 6f 20 |must be |sure to |
|00000e90| 63 61 6c 6c 20 74 68 65 | 0a 62 75 69 6c 74 2d 69 |call the|.built-i|
|00000ea0| 6e 20 7b 5c 74 74 20 6c | 65 6e 67 74 68 7d 20 70 |n {\tt l|ength} p|
|00000eb0| 72 6f 63 65 64 75 72 65 | 2c 20 6e 6f 74 20 77 68 |rocedure|, not wh|
|00000ec0| 61 74 65 76 65 72 20 68 | 61 70 70 65 6e 73 20 74 |atever h|appens t|
|00000ed0| 6f 20 62 65 20 74 68 65 | 20 76 61 6c 75 65 0a 6f |o be the| value.o|
|00000ee0| 66 20 74 68 65 20 76 61 | 72 69 61 62 6c 65 20 7b |f the va|riable {|
|00000ef0| 5c 74 74 20 6c 65 6e 67 | 74 68 7d 2e 0a 0a 0a 5c |\tt leng|th}....\|
|00000f00| 70 69 65 63 65 7b 4d 75 | 6c 74 69 70 6c 65 20 72 |piece{Mu|ltiple r|
|00000f10| 65 74 75 72 6e 20 76 61 | 6c 75 65 73 7d 0a 0a 54 |eturn va|lues}..T|
|00000f20| 68 65 20 7b 5c 74 74 20 | 63 61 6c 6c 2d 77 69 74 |he {\tt |call-wit|
|00000f30| 68 2d 76 61 6c 75 65 73 | 7d 20 61 6e 64 20 7b 5c |h-values|} and {\|
|00000f40| 74 74 20 76 61 6c 75 65 | 73 7d 20 70 72 6f 63 65 |tt value|s} proce|
|00000f50| 64 75 72 65 73 20 77 65 | 72 65 20 64 65 73 63 72 |dures we|re descr|
|00000f60| 69 62 65 64 0a 69 6e 20 | 61 6e 20 65 61 72 6c 69 |ibed.in |an earli|
|00000f70| 65 72 20 53 63 68 65 6d | 65 20 6f 66 20 54 68 69 |er Schem|e of Thi|
|00000f80| 6e 67 73 20 28 7b 5c 65 | 6d 20 4c 69 73 70 20 50 |ngs ({\e|m Lisp P|
|00000f90| 6f 69 6e 74 65 72 73 7d | 2c 20 76 6f 6c 75 6d 65 |ointers}|, volume|
|00000fa0| 20 49 56 2c 20 6e 75 6d | 62 65 72 0a 31 29 2c 20 | IV, num|ber.1), |
|00000fb0| 62 75 74 20 49 27 6c 6c | 20 72 65 76 69 65 77 20 |but I'll| review |
|00000fc0| 74 68 65 6d 20 68 65 72 | 65 2e 20 20 54 68 65 20 |them her|e.  The |
|00000fd0| 66 6f 6c 6c 6f 77 69 6e | 67 20 69 73 20 61 64 61 |followin|g is ada|
|00000fe0| 70 74 65 64 20 66 72 6f | 6d 20 4a 6f 68 6e 20 52 |pted fro|m John R|
|00000ff0| 61 6d 73 64 65 6c 6c 27 | 73 0a 63 6f 6e 63 69 73 |amsdell'|s.concis|
|00001000| 65 20 64 65 73 63 72 69 | 70 74 69 6f 6e 3a 0a 0a |e descri|ption:..|
|00001010| 5c 62 65 67 69 6e 7b 6c | 69 73 74 7d 7b 7d 7b 7d |\begin{l|ist}{}{}|
|00001020| 7b 7d 5c 69 74 65 6d 0a | 20 20 20 20 7b 5c 74 74 |{}\item.|    {\tt|
|00001030| 28 76 61 6c 75 65 73 20 | 5c 76 61 72 7b 6f 62 6a |(values |\var{obj|
|00001040| 65 63 74 7d 20 24 5c 6c | 64 6f 74 73 24 29 7d 0a |ect} $\l|dots$)}.|
|00001050| 20 20 20 20 20 20 20 20 | 5c 68 66 69 6c 6c 20 7b |        |\hfill {|
|00001060| 5c 72 6d 20 65 73 73 65 | 6e 74 69 61 6c 20 70 72 |\rm esse|ntial pr|
|00001070| 6f 63 65 64 75 72 65 7d | 0a 0a 20 20 20 20 7b 5c |ocedure}|..    {\|
|00001080| 74 74 20 76 61 6c 75 65 | 73 7d 20 64 65 6c 69 76 |tt value|s} deliv|
|00001090| 65 72 73 20 61 6c 6c 20 | 6f 66 20 69 74 73 20 61 |ers all |of its a|
|000010a0| 72 67 75 6d 65 6e 74 73 | 20 74 6f 20 69 74 73 20 |rguments| to its |
|000010b0| 63 6f 6e 74 69 6e 75 61 | 74 69 6f 6e 2e 20 20 0a |continua|tion.  .|
|000010c0| 0a 20 20 20 20 5c 76 73 | 70 61 63 65 7b 32 65 78 |.    \vs|pace{2ex|
|000010d0| 7d 0a 0a 20 20 20 20 7b | 5c 74 74 28 63 61 6c 6c |}..    {|\tt(call|
|000010e0| 2d 77 69 74 68 2d 76 61 | 6c 75 65 73 20 5c 76 61 |-with-va|lues \va|
|000010f0| 72 7b 74 68 75 6e 6b 7d | 20 5c 76 61 72 7b 72 65 |r{thunk}| \var{re|
|00001100| 63 65 69 76 65 72 7d 29 | 7d 0a 20 20 20 20 20 20 |ceiver})|}.      |
|00001110| 20 20 5c 68 66 69 6c 6c | 20 7b 5c 72 6d 20 65 73 |  \hfill| {\rm es|
|00001120| 73 65 6e 74 69 61 6c 20 | 70 72 6f 63 65 64 75 72 |sential |procedur|
|00001130| 65 7d 0a 0a 20 20 20 20 | 7b 5c 74 74 20 63 61 6c |e}..    |{\tt cal|
|00001140| 6c 2d 77 69 74 68 2d 76 | 61 6c 75 65 73 7d 20 63 |l-with-v|alues} c|
|00001150| 61 6c 6c 73 20 69 74 73 | 20 5c 76 61 72 7b 74 68 |alls its| \var{th|
|00001160| 75 6e 6b 7d 20 61 72 67 | 75 6d 65 6e 74 20 77 69 |unk} arg|ument wi|
|00001170| 74 68 20 61 0a 20 20 20 | 20 63 6f 6e 74 69 6e 75 |th a.   | continu|
|00001180| 61 74 69 6f 6e 20 74 68 | 61 74 2c 20 77 68 65 6e |ation th|at, when|
|00001190| 20 70 61 73 73 65 64 20 | 73 6f 6d 65 20 76 61 6c | passed |some val|
|000011a0| 75 65 73 2c 20 63 61 6c | 6c 73 20 74 68 65 0a 20 |ues, cal|ls the. |
|000011b0| 20 20 20 5c 76 61 72 7b | 72 65 63 65 69 76 65 72 |   \var{|receiver|
|000011c0| 7d 20 70 72 6f 63 65 64 | 75 72 65 20 77 69 74 68 |} proced|ure with|
|000011d0| 20 74 68 6f 73 65 20 76 | 61 6c 75 65 73 20 61 73 | those v|alues as|
|000011e0| 20 61 72 67 75 6d 65 6e | 74 73 2e 0a 20 20 20 20 | argumen|ts..    |
|000011f0| 54 68 65 20 63 6f 6e 74 | 69 6e 75 61 74 69 6f 6e |The cont|inuation|
|00001200| 20 66 6f 72 20 74 68 65 | 20 63 61 6c 6c 20 74 6f | for the| call to|
|00001210| 20 5c 76 61 72 7b 72 65 | 63 65 69 76 65 72 7d 20 | \var{re|ceiver} |
|00001220| 69 73 20 74 68 65 0a 20 | 20 20 20 63 6f 6e 74 69 |is the. |   conti|
|00001230| 6e 75 61 74 69 6f 6e 20 | 6f 66 20 74 68 65 20 63 |nuation |of the c|
|00001240| 61 6c 6c 20 74 6f 20 7b | 5c 74 74 20 63 61 6c 6c |all to {|\tt call|
|00001250| 2d 77 69 74 68 2d 76 61 | 6c 75 65 73 7d 2e 0a 5c |-with-va|lues}..\|
|00001260| 65 6e 64 7b 6c 69 73 74 | 7d 0a 0a 45 78 63 65 70 |end{list|}..Excep|
|00001270| 74 20 66 6f 72 20 63 6f | 6e 74 69 6e 75 61 74 69 |t for co|ntinuati|
|00001280| 6f 6e 73 20 63 72 65 61 | 74 65 64 20 62 79 20 74 |ons crea|ted by t|
|00001290| 68 65 20 7b 5c 74 74 20 | 63 61 6c 6c 2d 77 69 74 |he {\tt |call-wit|
|000012a0| 68 2d 76 61 6c 75 65 73 | 7d 0a 70 72 6f 63 65 64 |h-values|}.proced|
|000012b0| 75 72 65 2c 20 61 6c 6c | 20 63 6f 6e 74 69 6e 75 |ure, all| continu|
|000012c0| 61 74 69 6f 6e 73 20 74 | 61 6b 65 20 65 78 61 63 |ations t|ake exac|
|000012d0| 74 6c 79 20 6f 6e 65 20 | 76 61 6c 75 65 2c 20 61 |tly one |value, a|
|000012e0| 73 20 6e 6f 77 3b 20 74 | 68 65 0a 65 66 66 65 63 |s now; t|he.effec|
|000012f0| 74 20 6f 66 20 70 61 73 | 73 69 6e 67 20 6e 6f 20 |t of pas|sing no |
|00001300| 76 61 6c 75 65 20 6f 72 | 20 6d 6f 72 65 20 74 68 |value or| more th|
|00001310| 61 6e 20 6f 6e 65 20 76 | 61 6c 75 65 20 74 6f 20 |an one v|alue to |
|00001320| 63 6f 6e 74 69 6e 75 61 | 74 69 6f 6e 73 0a 74 68 |continua|tions.th|
|00001330| 61 74 20 77 65 72 65 20 | 6e 6f 74 20 63 72 65 61 |at were |not crea|
|00001340| 74 65 64 20 62 79 20 7b | 5c 74 74 20 63 61 6c 6c |ted by {|\tt call|
|00001350| 2d 77 69 74 68 2d 76 61 | 6c 75 65 73 7d 20 69 73 |-with-va|lues} is|
|00001360| 20 75 6e 73 70 65 63 69 | 66 69 65 64 20 28 61 73 | unspeci|fied (as|
|00001370| 0a 69 6e 64 65 65 64 20 | 69 74 20 69 73 20 75 6e |.indeed |it is un|
|00001380| 73 70 65 63 69 66 69 65 | 64 20 6e 6f 77 29 2e 0a |specifie|d now)..|
|00001390| 0a 7b 5c 74 74 20 76 61 | 6c 75 65 73 7d 20 6d 69 |.{\tt va|lues} mi|
|000013a0| 67 68 74 20 62 65 20 64 | 65 66 69 6e 65 64 20 61 |ght be d|efined a|
|000013b0| 73 20 66 6f 6c 6c 6f 77 | 73 3a 0a 5c 62 65 67 69 |s follow|s:.\begi|
|000013c0| 6e 7b 63 6f 64 65 7d 0a | 20 20 20 20 28 64 65 66 |n{code}.|    (def|
|000013d0| 69 6e 65 20 28 76 61 6c | 75 65 73 20 2e 20 74 68 |ine (val|ues . th|
|000013e0| 69 6e 67 73 29 0a 20 20 | 20 20 20 20 28 63 61 6c |ings).  |    (cal|
|000013f0| 6c 2d 77 69 74 68 2d 63 | 75 72 72 65 6e 74 2d 63 |l-with-c|urrent-c|
|00001400| 6f 6e 74 69 6e 75 61 74 | 69 6f 6e 20 0a 20 20 20 |ontinuat|ion .   |
|00001410| 20 20 20 20 20 28 6c 61 | 6d 62 64 61 20 28 63 6f |     (la|mbda (co|
|00001420| 6e 74 29 20 28 61 70 70 | 6c 79 20 63 6f 6e 74 20 |nt) (app|ly cont |
|00001430| 74 68 69 6e 67 73 29 29 | 29 29 0a 5c 65 6e 64 7b |things))|)).\end{|
|00001440| 63 6f 64 65 7d 0a 54 68 | 61 74 20 69 73 2c 20 74 |code}.Th|at is, t|
|00001450| 68 65 20 70 72 6f 63 65 | 64 75 72 65 73 20 73 75 |he proce|dures su|
|00001460| 70 70 6c 69 65 64 20 62 | 79 20 7b 5c 74 74 0a 63 |pplied b|y {\tt.c|
|00001470| 61 6c 6c 2d 77 69 74 68 | 2d 63 75 72 72 65 6e 74 |all-with|-current|
|00001480| 2d 63 6f 6e 74 69 6e 75 | 61 74 69 6f 6e 7d 20 6d |-continu|ation} m|
|00001490| 75 73 74 20 62 65 20 70 | 61 73 73 65 64 20 74 68 |ust be p|assed th|
|000014a0| 65 20 73 61 6d 65 20 6e | 75 6d 62 65 72 20 6f 66 |e same n|umber of|
|000014b0| 0a 61 72 67 75 6d 65 6e | 74 73 20 61 73 20 76 61 |.argumen|ts as va|
|000014c0| 6c 75 65 73 20 65 78 70 | 65 63 74 65 64 20 62 79 |lues exp|ected by|
|000014d0| 20 74 68 65 20 63 6f 6e | 74 69 6e 75 61 74 69 6f | the con|tinuatio|
|000014e0| 6e 2e 0a 0a 42 65 63 61 | 75 73 65 20 74 68 65 20 |n...Beca|use the |
|000014f0| 62 65 68 61 76 69 6f 72 | 20 6f 66 20 61 20 6e 75 |behavior| of a nu|
|00001500| 6d 62 65 72 2d 6f 66 2d | 76 61 6c 75 65 73 20 6d |mber-of-|values m|
|00001510| 69 73 6d 61 74 63 68 20 | 62 65 74 77 65 65 6e 20 |ismatch |between |
|00001520| 61 0a 63 6f 6e 74 69 6e | 75 61 74 69 6f 6e 20 61 |a.contin|uation a|
|00001530| 6e 64 20 69 74 73 20 69 | 6e 76 6f 6b 65 72 20 69 |nd its i|nvoker i|
|00001540| 73 20 75 6e 73 70 65 63 | 69 66 69 65 64 2c 20 73 |s unspec|ified, s|
|00001550| 6f 6d 65 20 69 6d 70 6c | 65 6d 65 6e 74 61 74 69 |ome impl|ementati|
|00001560| 6f 6e 73 20 6d 61 79 0a | 61 73 73 69 67 6e 20 73 |ons may.|assign s|
|00001570| 6f 6d 65 20 73 70 65 63 | 69 66 69 63 20 6d 65 61 |ome spec|ific mea|
|00001580| 6e 69 6e 67 20 74 6f 20 | 73 75 63 68 20 73 69 74 |ning to |such sit|
|00001590| 75 61 74 69 6f 6e 73 3b | 20 66 6f 72 20 65 78 61 |uations;| for exa|
|000015a0| 6d 70 6c 65 2c 20 65 78 | 74 72 61 0a 76 61 6c 75 |mple, ex|tra.valu|
|000015b0| 65 73 20 6d 69 67 68 74 | 20 62 65 20 69 67 6e 6f |es might| be igno|
|000015c0| 72 65 64 2c 20 6f 72 20 | 64 65 66 61 75 6c 74 73 |red, or |defaults|
|000015d0| 20 6d 69 67 68 74 20 62 | 65 20 73 75 70 70 6c 69 | might b|e suppli|
|000015e0| 65 64 20 66 6f 72 20 6d | 69 73 73 69 6e 67 0a 76 |ed for m|issing.v|
|000015f0| 61 6c 75 65 73 2e 20 20 | 54 68 75 73 20 74 68 69 |alues.  |Thus thi|
|00001600| 73 20 6d 75 6c 74 69 70 | 6c 65 20 72 65 74 75 72 |s multip|le retur|
|00001610| 6e 20 76 61 6c 75 65 20 | 70 72 6f 70 6f 73 61 6c |n value |proposal|
|00001620| 20 69 73 20 63 6f 6d 70 | 61 74 69 62 6c 65 20 77 | is comp|atible w|
|00001630| 69 74 68 0a 43 6f 6d 6d | 6f 6e 20 4c 69 73 70 27 |ith.Comm|on Lisp'|
|00001640| 73 20 6d 75 6c 74 69 70 | 6c 65 20 76 61 6c 75 65 |s multip|le value|
|00001650| 73 2c 20 62 75 74 20 73 | 74 72 69 63 74 6c 79 20 |s, but s|trictly |
|00001660| 6d 6f 72 65 20 63 6f 6e | 73 65 72 76 61 74 69 76 |more con|servativ|
|00001670| 65 20 74 68 61 6e 20 69 | 74 2e 0a 54 68 65 20 62 |e than i|t..The b|
|00001680| 65 68 61 76 69 6f 72 20 | 6f 66 20 70 72 6f 67 72 |ehavior |of progr|
|00001690| 61 6d 73 20 69 6e 20 73 | 75 63 68 20 73 69 74 75 |ams in s|uch situ|
|000016a0| 61 74 69 6f 6e 73 20 77 | 61 73 20 61 20 70 6f 69 |ations w|as a poi|
|000016b0| 6e 74 20 6f 66 20 63 6f | 6e 74 65 6e 74 69 6f 6e |nt of co|ntention|
|000016c0| 0a 61 6d 6f 6e 67 20 74 | 68 65 20 61 75 74 68 6f |.among t|he autho|
|000016d0| 72 73 2c 20 77 68 69 63 | 68 20 69 73 20 77 68 79 |rs, whic|h is why|
|000016e0| 20 6f 6e 6c 79 20 74 68 | 65 20 6c 65 61 73 74 20 | only th|e least |
|000016f0| 63 6f 6d 6d 6f 6e 20 64 | 65 6e 6f 6d 69 6e 61 74 |common d|enominat|
|00001700| 6f 72 0a 62 65 68 61 76 | 69 6f 72 20 77 61 73 20 |or.behav|ior was |
|00001710| 73 70 65 63 69 66 69 65 | 64 2e 0a 0a 0a 5c 70 69 |specifie|d....\pi|
|00001720| 65 63 65 7b 55 6e 77 69 | 6e 64 2f 77 69 6e 64 20 |ece{Unwi|nd/wind |
|00001730| 70 72 6f 74 65 63 74 69 | 6f 6e 7d 0a 0a 7b 5c 74 |protecti|on}..{\t|
|00001740| 74 20 64 79 6e 61 6d 69 | 63 2d 77 69 6e 64 7d 2c |t dynami|c-wind},|
|00001750| 20 77 68 69 63 68 20 77 | 61 73 20 64 65 73 63 72 | which w|as descr|
|00001760| 69 62 65 64 20 70 72 65 | 76 69 6f 75 73 6c 79 20 |ibed pre|viously |
|00001770| 69 6e 20 74 68 69 73 20 | 63 6f 6c 75 6d 6e 20 28 |in this |column (|
|00001780| 77 68 65 6e 20 69 74 0a | 77 61 73 20 54 68 65 20 |when it.|was The |
|00001790| 53 63 68 65 6d 65 20 45 | 6e 76 69 72 6f 6e 6d 65 |Scheme E|nvironme|
|000017a0| 6e 74 3b 20 7b 5c 65 6d | 20 4c 69 73 70 20 50 6f |nt; {\em| Lisp Po|
|000017b0| 69 6e 74 65 72 73 7d 2c | 20 76 6f 6c 75 6d 65 20 |inters},| volume |
|000017c0| 49 2c 20 6e 75 6d 62 65 | 72 20 32 29 2c 0a 69 73 |I, numbe|r 2),.is|
|000017d0| 20 61 6c 72 65 61 64 79 | 20 69 6d 70 6c 65 6d 65 | already| impleme|
|000017e0| 6e 74 65 64 20 69 6e 20 | 6d 61 6e 79 20 53 63 68 |nted in |many Sch|
|000017f0| 65 6d 65 20 64 69 61 6c | 65 63 74 73 2e 20 20 7b |eme dial|ects.  {|
|00001800| 5c 74 74 20 64 79 6e 61 | 6d 69 63 2d 77 69 6e 64 |\tt dyna|mic-wind|
|00001810| 7d 0a 74 61 6b 65 73 20 | 74 68 72 65 65 20 61 72 |}.takes |three ar|
|00001820| 67 75 6d 65 6e 74 73 2c | 20 61 6c 6c 20 6f 66 20 |guments,| all of |
|00001830| 77 68 69 63 68 20 61 72 | 65 20 74 68 75 6e 6b 73 |which ar|e thunks|
|00001840| 20 28 70 72 6f 63 65 64 | 75 72 65 73 20 6f 66 20 | (proced|ures of |
|00001850| 6e 6f 20 61 72 67 75 6d | 65 6e 74 73 29 2e 0a 49 |no argum|ents)..I|
|00001860| 74 20 62 65 68 61 76 65 | 73 20 61 73 20 69 66 20 |t behave|s as if |
|00001870| 69 74 20 77 65 72 65 20 | 64 65 66 69 6e 65 64 20 |it were |defined |
|00001880| 77 69 74 68 0a 5c 62 65 | 67 69 6e 7b 63 6f 64 65 |with.\be|gin{code|
|00001890| 7d 0a 20 20 20 20 28 64 | 65 66 69 6e 65 20 28 64 |}.    (d|efine (d|
|000018a0| 79 6e 61 6d 69 63 2d 77 | 69 6e 64 20 62 65 66 6f |ynamic-w|ind befo|
|000018b0| 72 65 20 64 75 72 69 6e | 67 20 61 66 74 65 72 29 |re durin|g after)|
|000018c0| 0a 20 20 20 20 20 20 28 | 62 65 66 6f 72 65 29 0a |.      (|before).|
|000018d0| 20 20 20 20 20 20 28 63 | 61 6c 6c 2d 77 69 74 68 |      (c|all-with|
|000018e0| 2d 76 61 6c 75 65 73 20 | 64 75 72 69 6e 67 0a 20 |-values |during. |
|000018f0| 20 20 20 20 20 20 20 28 | 6c 61 6d 62 64 61 20 72 |       (|lambda r|
|00001900| 65 73 75 6c 74 73 0a 20 | 20 20 20 20 20 20 20 20 |esults. |        |
|00001910| 20 28 61 66 74 65 72 29 | 0a 20 20 20 20 20 20 20 | (after)|.       |
|00001920| 20 20 20 28 61 70 70 6c | 79 20 76 61 6c 75 65 73 |   (appl|y values|
|00001930| 20 72 65 73 75 6c 74 73 | 29 29 29 29 0a 5c 65 6e | results|)))).\en|
|00001940| 64 7b 63 6f 64 65 7d 0a | 65 78 63 65 70 74 20 74 |d{code}.|except t|
|00001950| 68 61 74 20 74 68 65 20 | 65 78 65 63 75 74 69 6f |hat the |executio|
|00001960| 6e 20 6f 66 20 74 68 65 | 20 7b 5c 74 74 20 64 75 |n of the| {\tt du|
|00001970| 72 69 6e 67 7d 20 74 68 | 75 6e 6b 20 69 73 20 60 |ring} th|unk is `|
|00001980| 60 70 72 6f 74 65 63 74 | 65 64 27 27 0a 61 67 61 |`protect|ed''.aga|
|00001990| 69 6e 73 74 20 6e 6f 6e | 2d 6c 6f 63 61 6c 20 65 |inst non|-local e|
|000019a0| 6e 74 72 69 65 73 20 61 | 6e 64 20 65 78 69 74 73 |ntries a|nd exits|
|000019b0| 3a 20 61 20 74 68 72 6f | 77 20 6f 75 74 20 6f 66 |: a thro|w out of|
|000019c0| 20 74 68 65 20 65 78 65 | 63 75 74 69 6f 6e 0a 6f | the exe|cution.o|
|000019d0| 66 20 7b 5c 74 74 20 64 | 75 72 69 6e 67 7d 20 77 |f {\tt d|uring} w|
|000019e0| 69 6c 6c 20 63 61 75 73 | 65 20 74 68 65 20 7b 5c |ill caus|e the {\|
|000019f0| 74 74 20 61 66 74 65 72 | 7d 20 74 68 75 6e 6b 20 |tt after|} thunk |
|00001a00| 74 6f 20 62 65 20 69 6e | 76 6f 6b 65 64 2c 20 61 |to be in|voked, a|
|00001a10| 6e 64 20 61 0a 74 68 72 | 6f 77 20 66 72 6f 6d 20 |nd a.thr|ow from |
|00001a20| 6f 75 74 73 69 64 65 20 | 62 61 63 6b 20 69 6e 20 |outside |back in |
|00001a30| 77 69 6c 6c 20 63 61 75 | 73 65 20 74 68 65 20 7b |will cau|se the {|
|00001a40| 5c 74 74 20 62 65 66 6f | 72 65 7d 20 74 68 75 6e |\tt befo|re} thun|
|00001a50| 6b 20 74 6f 20 62 65 0a | 69 6e 76 6f 6b 65 64 2e |k to be.|invoked.|
|00001a60| 20 20 28 42 79 20 60 60 | 74 68 72 6f 77 27 27 20 |  (By ``|throw'' |
|00001a70| 49 20 6d 65 61 6e 20 61 | 6e 20 69 6e 76 6f 63 61 |I mean a|n invoca|
|00001a80| 74 69 6f 6e 20 6f 66 20 | 61 6e 20 65 78 70 6c 69 |tion of |an expli|
|00001a90| 63 69 74 0a 63 6f 6e 74 | 69 6e 75 61 74 69 6f 6e |cit.cont|inuation|
|00001aa0| 20 61 73 20 6f 62 74 61 | 69 6e 65 64 20 66 72 6f | as obta|ined fro|
|00001ab0| 6d 20 7b 5c 74 74 20 63 | 61 6c 6c 2d 77 69 74 68 |m {\tt c|all-with|
|00001ac0| 2d 63 75 72 72 65 6e 74 | 2d 63 6f 6e 74 69 6e 75 |-current|-continu|
|00001ad0| 61 74 69 6f 6e 7d 2e 29 | 0a 0a 46 6f 72 20 64 65 |ation}.)|..For de|
|00001ae0| 74 61 69 6c 73 2c 20 74 | 68 65 20 65 61 72 6c 69 |tails, t|he earli|
|00001af0| 65 72 20 53 63 68 65 6d | 65 20 45 6e 76 69 72 6f |er Schem|e Enviro|
|00001b00| 6e 6d 65 6e 74 20 63 6f | 6c 75 6d 6e 20 72 65 66 |nment co|lumn ref|
|00001b10| 65 72 73 20 74 68 65 20 | 72 65 61 64 65 72 0a 74 |ers the |reader.t|
|00001b20| 6f 20 46 72 69 65 64 6d | 61 6e 20 61 6e 64 20 48 |o Friedm|an and H|
|00001b30| 61 79 6e 65 73 27 73 20 | 70 61 70 65 72 20 60 60 |aynes's |paper ``|
|00001b40| 43 6f 6e 73 74 72 61 69 | 6e 69 6e 67 20 43 6f 6e |Constrai|ning Con|
|00001b50| 74 72 6f 6c 27 27 20 69 | 6e 20 50 4f 50 4c 20 31 |trol'' i|n POPL 1|
|00001b60| 39 38 35 2c 0a 62 75 74 | 20 74 6f 20 73 61 76 65 |985,.but| to save|
|00001b70| 20 79 6f 75 20 74 68 65 | 20 74 72 6f 75 62 6c 65 | you the| trouble|
|00001b80| 20 6f 66 20 6c 6f 6f 6b | 69 6e 67 20 74 68 61 74 | of look|ing that|
|00001b90| 20 75 70 2c 20 49 20 68 | 61 76 65 20 73 75 70 70 | up, I h|ave supp|
|00001ba0| 6c 69 65 64 20 61 20 6d | 6f 72 65 0a 64 69 72 65 |lied a m|ore.dire|
|00001bb0| 63 74 20 69 6d 70 6c 65 | 6d 65 6e 74 61 74 69 6f |ct imple|mentatio|
|00001bc0| 6e 20 6f 66 20 7b 5c 74 | 74 20 64 79 6e 61 6d 69 |n of {\t|t dynami|
|00001bd0| 63 2d 77 69 6e 64 7d 20 | 69 6e 20 61 6e 20 61 70 |c-wind} |in an ap|
|00001be0| 70 65 6e 64 69 78 20 74 | 6f 20 74 68 65 0a 70 72 |pendix t|o the.pr|
|00001bf0| 65 73 65 6e 74 20 63 6f | 6c 75 6d 6e 2e 0a 0a 7b |esent co|lumn...{|
|00001c00| 5c 74 74 20 64 79 6e 61 | 6d 69 63 2d 77 69 6e 64 |\tt dyna|mic-wind|
|00001c10| 7d 20 77 61 73 20 61 64 | 6f 70 74 65 64 20 77 69 |} was ad|opted wi|
|00001c20| 74 68 20 74 68 65 20 66 | 6f 6c 6c 6f 77 69 6e 67 |th the f|ollowing|
|00001c30| 20 63 6c 61 72 69 66 69 | 63 61 74 69 6f 6e 73 3a | clarifi|cations:|
|00001c40| 20 54 68 65 0a 73 65 6d | 61 6e 74 69 63 73 20 6f | The.sem|antics o|
|00001c50| 66 20 7b 5c 74 74 28 64 | 79 6e 61 6d 69 63 2d 77 |f {\tt(d|ynamic-w|
|00001c60| 69 6e 64 20 5c 76 61 72 | 7b 62 65 66 6f 72 65 7d |ind \var|{before}|
|00001c70| 20 5c 76 61 72 7b 64 75 | 72 69 6e 67 7d 20 5c 76 | \var{du|ring} \v|
|00001c80| 61 72 7b 61 66 74 65 72 | 7d 29 7d 0a 73 68 6f 75 |ar{after|})}.shou|
|00001c90| 6c 64 20 6c 65 61 76 65 | 20 75 6e 73 70 65 63 69 |ld leave| unspeci|
|00001ca0| 66 69 65 64 20 77 68 61 | 74 20 68 61 70 70 65 6e |fied wha|t happen|
|00001cb0| 73 20 69 66 20 61 20 74 | 68 72 6f 77 20 6f 63 63 |s if a t|hrow occ|
|00001cc0| 75 72 73 20 6f 75 74 20 | 6f 66 20 7b 5c 65 6d 0a |urs out |of {\em.|
|00001cd0| 62 65 66 6f 72 65 7d 20 | 6f 72 20 7b 5c 65 6d 20 |before} |or {\em |
|00001ce0| 61 66 74 65 72 7d 5c 2f | 3b 20 61 6e 64 20 69 74 |after}\/|; and it|
|00001cf0| 20 69 73 20 62 65 73 74 | 20 74 6f 20 64 65 66 65 | is best| to defe|
|00001d00| 72 20 69 6e 74 65 72 72 | 75 70 74 73 20 64 75 72 |r interr|upts dur|
|00001d10| 69 6e 67 20 7b 5c 65 6d | 0a 62 65 66 6f 72 65 7d |ing {\em|.before}|
|00001d20| 20 61 6e 64 20 7b 5c 65 | 6d 20 61 66 74 65 72 7d | and {\e|m after}|
|00001d30| 2e 0a 0a 0a 0a 5c 70 69 | 65 63 65 7b 45 76 61 6c |.....\pi|ece{Eval|
|00001d40| 75 61 74 69 6e 67 20 63 | 6f 6d 70 75 74 65 64 20 |uating c|omputed |
|00001d50| 65 78 70 72 65 73 73 69 | 6f 6e 73 7d 0a 0a 54 68 |expressi|ons}..Th|
|00001d60| 65 20 6f 72 69 67 69 6e | 61 6c 20 31 39 37 35 20 |e origin|al 1975 |
|00001d70| 6d 65 6d 6f 20 6f 6e 20 | 53 63 68 65 6d 65 20 64 |memo on |Scheme d|
|00001d80| 65 73 63 72 69 62 65 64 | 20 7b 5c 74 74 20 65 76 |escribed| {\tt ev|
|00001d90| 61 6c 75 61 74 65 7d 2c | 0a 77 68 69 63 68 20 77 |aluate},|.which w|
|00001da0| 61 73 20 61 6e 61 6c 6f | 67 6f 75 73 20 74 6f 20 |as analo|gous to |
|00001db0| 4c 69 73 70 27 73 20 74 | 72 61 64 69 74 69 6f 6e |Lisp's t|radition|
|00001dc0| 61 6c 20 7b 5c 74 74 20 | 65 76 61 6c 7d 20 66 75 |al {\tt |eval} fu|
|00001dd0| 6e 63 74 69 6f 6e 2e 20 | 20 7b 5c 74 74 0a 65 76 |nction. | {\tt.ev|
|00001de0| 61 6c 75 61 74 65 7d 20 | 74 6f 6f 6b 20 61 20 73 |aluate} |took a s|
|00001df0| 69 6e 67 6c 65 20 61 72 | 67 75 6d 65 6e 74 2c 20 |ingle ar|gument, |
|00001e00| 61 6e 20 53 2d 65 78 70 | 72 65 73 73 69 6f 6e 2c |an S-exp|ression,|
|00001e10| 20 61 6e 64 20 69 6e 76 | 6f 6b 65 64 20 61 6e 0a | and inv|oked an.|
|00001e20| 69 6e 74 65 72 70 72 65 | 74 65 72 20 6f 6e 20 69 |interpre|ter on i|
|00001e30| 74 2e 20 20 46 6f 72 20 | 65 78 61 6d 70 6c 65 3a |t.  For |example:|
|00001e40| 0a 5c 62 65 67 69 6e 7b | 63 6f 64 65 7d 0a 20 20 |.\begin{|code}.  |
|00001e50| 20 20 28 6c 65 74 20 28 | 28 6e 61 6d 65 20 27 2b |  (let (|(name '+|
|00001e60| 29 29 20 28 65 76 61 6c | 75 61 74 65 20 28 6c 69 |)) (eval|uate (li|
|00001e70| 73 74 20 6e 61 6d 65 20 | 32 20 33 29 29 29 0a 20 |st name |2 3))). |
|00001e80| 20 20 20 20 20 20 20 5c | 65 76 20 20 35 0a 5c 65 |       \|ev  5.\e|
|00001e90| 6e 64 7b 63 6f 64 65 7d | 0a 53 63 68 65 6d 65 20 |nd{code}|.Scheme |
|00001ea0| 62 65 69 6e 67 20 6c 65 | 78 69 63 61 6c 6c 79 20 |being le|xically |
|00001eb0| 73 63 6f 70 65 64 2c 20 | 68 6f 77 65 76 65 72 2c |scoped, |however,|
|00001ec0| 20 74 68 65 72 65 20 77 | 61 73 20 73 6f 6d 65 20 | there w|as some |
|00001ed0| 63 6f 6e 66 75 73 69 6f | 6e 20 6f 76 65 72 0a 77 |confusio|n over.w|
|00001ee0| 68 69 63 68 20 65 6e 76 | 69 72 6f 6e 6d 65 6e 74 |hich env|ironment|
|00001ef0| 20 74 68 65 20 65 78 70 | 72 65 73 73 69 6f 6e 20 | the exp|ression |
|00001f00| 77 61 73 20 74 6f 20 62 | 65 20 65 76 61 6c 75 61 |was to b|e evalua|
|00001f10| 74 65 64 20 69 6e 2e 20 | 20 53 68 6f 75 6c 64 0a |ted in. | Should.|
|00001f20| 5c 62 65 67 69 6e 7b 63 | 6f 64 65 7d 0a 20 20 20 |\begin{c|ode}.   |
|00001f30| 20 28 6c 65 74 20 28 28 | 6e 61 6d 65 20 27 2b 29 | (let ((|name '+)|
|00001f40| 29 0a 20 20 20 20 20 20 | 28 6c 65 74 20 28 28 2b |).      |(let ((+|
|00001f50| 20 2a 29 29 0a 20 20 20 | 20 20 20 20 20 28 65 76 | *)).   |     (ev|
|00001f60| 61 6c 75 61 74 65 20 28 | 6c 69 73 74 20 6e 61 6d |aluate (|list nam|
|00001f70| 65 20 32 20 33 29 29 29 | 29 0a 5c 65 6e 64 7b 63 |e 2 3)))|).\end{c|
|00001f80| 6f 64 65 7d 0a 65 76 61 | 6c 75 61 74 65 20 74 6f |ode}.eva|luate to|
|00001f90| 20 35 20 6f 72 20 74 6f | 20 36 3f 0a 0a 54 6f 20 | 5 or to| 6?..To |
|00001fa0| 63 6c 61 72 69 66 79 20 | 6d 61 74 74 65 72 73 2c |clarify |matters,|
|00001fb0| 20 74 68 65 20 52 65 76 | 69 73 65 64 20 52 65 70 | the Rev|ised Rep|
|00001fc0| 6f 72 74 20 72 65 70 6c | 61 63 65 64 20 7b 5c 74 |ort repl|aced {\t|
|00001fd0| 74 20 65 76 61 6c 75 61 | 74 65 7d 20 77 69 74 68 |t evalua|te} with|
|00001fe0| 0a 7b 5c 74 74 20 65 6e | 63 6c 6f 73 65 7d 2c 20 |.{\tt en|close}, |
|00001ff0| 77 68 69 63 68 20 74 6f | 6f 6b 20 74 77 6f 20 61 |which to|ok two a|
|00002000| 72 67 75 6d 65 6e 74 73 | 2c 20 61 20 7b 5c 74 74 |rguments|, a {\tt|
|00002010| 20 6c 61 6d 62 64 61 7d | 2d 65 78 70 72 65 73 73 | lambda}|-express|
|00002020| 69 6f 6e 20 61 6e 64 0a | 61 20 72 65 70 72 65 73 |ion and.|a repres|
|00002030| 65 6e 74 61 74 69 6f 6e | 20 6f 66 20 61 6e 20 65 |entation| of an e|
|00002040| 6e 76 69 72 6f 6e 6d 65 | 6e 74 20 66 72 6f 6d 20 |nvironme|nt from |
|00002050| 77 68 69 63 68 20 74 6f | 20 73 75 70 70 6c 79 20 |which to| supply |
|00002060| 62 69 6e 64 69 6e 67 73 | 20 6f 66 20 74 68 65 0a |bindings| of the.|
|00002070| 7b 5c 74 74 20 6c 61 6d | 62 64 61 7d 2d 65 78 70 |{\tt lam|bda}-exp|
|00002080| 72 65 73 73 69 6f 6e 27 | 73 20 66 72 65 65 20 76 |ression'|s free v|
|00002090| 61 72 69 61 62 6c 65 73 | 2e 20 20 46 6f 72 20 65 |ariables|.  For e|
|000020a0| 78 61 6d 70 6c 65 3a 0a | 5c 62 65 67 69 6e 7b 63 |xample:.|\begin{c|
|000020b0| 6f 64 65 7d 0a 20 20 20 | 20 28 6c 65 74 20 28 28 |ode}.   | (let ((|
|000020c0| 6e 61 6d 65 20 27 2b 29 | 29 0a 20 20 20 20 20 20 |name '+)|).      |
|000020d0| 28 6c 65 74 20 28 28 2b | 20 2a 29 29 0a 20 20 20 |(let ((+| *)).   |
|000020e0| 20 20 20 20 20 28 28 65 | 6e 63 6c 6f 73 65 20 28 |     ((e|nclose (|
|000020f0| 6c 69 73 74 20 27 6c 61 | 6d 62 64 61 20 27 28 29 |list 'la|mbda '()|
|00002100| 20 28 6c 69 73 74 20 6e | 61 6d 65 20 32 20 33 29 | (list n|ame 2 3)|
|00002110| 29 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |).      |        |
|00002120| 20 20 20 20 28 6c 69 73 | 74 20 28 63 6f 6e 73 20 |    (lis|t (cons |
|00002130| 27 2b 20 2b 29 29 29 29 | 29 29 0a 20 20 20 20 20 |'+ +))))|)).     |
|00002140| 20 20 20 5c 65 76 20 20 | 36 0a 5c 65 6e 64 7b 63 |   \ev  |6.\end{c|
|00002150| 6f 64 65 7d 0a 54 68 69 | 73 20 66 6f 72 63 65 64 |ode}.Thi|s forced|
|00002160| 20 74 68 65 20 70 72 6f | 67 72 61 6d 6d 65 72 20 | the pro|grammer |
|00002170| 74 6f 20 62 65 20 65 78 | 70 6c 69 63 69 74 20 61 |to be ex|plicit a|
|00002180| 62 6f 75 74 20 74 68 65 | 20 7b 5c 74 74 0a 6c 61 |bout the| {\tt.la|
|00002190| 6d 62 64 61 7d 2d 65 78 | 70 72 65 73 73 69 6f 6e |mbda}-ex|pression|
|000021a0| 27 73 20 65 6e 63 6c 6f | 73 69 6e 67 20 65 6e 76 |'s enclo|sing env|
|000021b0| 69 72 6f 6e 6d 65 6e 74 | 2e 0a 0a 46 6f 72 20 76 |ironment|...For v|
|000021c0| 61 72 69 6f 75 73 20 74 | 65 63 68 6e 69 63 61 6c |arious t|echnical|
|000021d0| 20 61 6e 64 20 70 72 61 | 63 74 69 63 61 6c 20 72 | and pra|ctical r|
|000021e0| 65 61 73 6f 6e 73 2c 20 | 74 68 65 72 65 20 77 61 |easons, |there wa|
|000021f0| 73 20 6e 6f 20 7b 5c 74 | 74 20 65 76 61 6c 7d 0a |s no {\t|t eval}.|
|00002200| 61 6e 61 6c 6f 67 75 65 | 20 69 6e 20 73 75 62 73 |analogue| in subs|
|00002210| 65 71 75 65 6e 74 20 53 | 63 68 65 6d 65 20 72 65 |equent S|cheme re|
|00002220| 70 6f 72 74 73 2e 20 20 | 54 68 65 20 6d 61 6a 6f |ports.  |The majo|
|00002230| 72 20 73 74 75 6d 62 6c | 69 6e 67 20 62 6c 6f 63 |r stumbl|ing bloc|
|00002240| 6b 73 0a 77 65 72 65 20 | 68 6f 77 20 74 6f 20 64 |ks.were |how to d|
|00002250| 65 73 63 72 69 62 65 20 | 7b 5c 74 74 20 65 76 61 |escribe |{\tt eva|
|00002260| 6c 7d 20 66 6f 72 6d 61 | 6c 6c 79 20 61 6e 64 20 |l} forma|lly and |
|00002270| 68 6f 77 20 74 6f 20 64 | 65 66 69 6e 65 20 73 6f |how to d|efine so|
|00002280| 6d 65 74 68 69 6e 67 0a | 74 68 61 74 20 6d 61 6b |mething.|that mak|
|00002290| 65 73 20 73 65 6e 73 65 | 20 69 6e 20 61 6c 6c 20 |es sense| in all |
|000022a0| 65 78 74 61 6e 74 20 76 | 61 72 69 61 6e 74 73 20 |extant v|ariants |
|000022b0| 6f 66 20 74 68 65 20 6c | 61 6e 67 75 61 67 65 2e |of the l|anguage.|
|000022c0| 20 20 53 6f 6d 65 20 53 | 63 68 65 6d 65 0a 69 6d |  Some S|cheme.im|
|000022d0| 70 6c 65 6d 65 6e 74 61 | 74 69 6f 6e 73 20 63 6f |plementa|tions co|
|000022e0| 6e 74 61 69 6e 20 61 20 | 64 69 73 74 69 6e 67 75 |ntain a |distingu|
|000022f0| 69 73 68 65 64 20 74 6f | 70 2d 6c 65 76 65 6c 20 |ished to|p-level |
|00002300| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 2c 20 77 68 69 |environm|ent, whi|
|00002310| 6c 65 0a 6f 74 68 65 72 | 73 20 65 78 74 65 6e 64 |le.other|s extend|
|00002320| 20 74 68 65 20 6c 61 6e | 67 75 61 67 65 20 62 79 | the lan|guage by|
|00002330| 20 70 72 6f 76 69 64 69 | 6e 67 20 77 61 79 73 20 | providi|ng ways |
|00002340| 74 6f 20 63 72 65 61 74 | 65 20 6d 75 6c 74 69 70 |to creat|e multip|
|00002350| 6c 65 0a 65 6e 76 69 72 | 6f 6e 6d 65 6e 74 73 2c |le.envir|onments,|
|00002360| 20 61 6e 79 20 6f 66 20 | 77 68 69 63 68 20 6d 69 | any of |which mi|
|00002370| 67 68 74 20 73 65 72 76 | 65 20 65 71 75 61 6c 6c |ght serv|e equall|
|00002380| 79 20 77 65 6c 6c 2e 0a | 0a 54 68 65 20 7b 5c 74 |y well..|.The {\t|
|00002390| 74 20 65 76 61 6c 7d 20 | 70 72 6f 70 6f 73 61 6c |t eval} |proposal|
|000023a0| 20 61 64 6f 70 74 65 64 | 20 61 74 20 74 68 65 20 | adopted| at the |
|000023b0| 4a 75 6e 65 20 6d 65 65 | 74 69 6e 67 2c 20 77 68 |June mee|ting, wh|
|000023c0| 69 63 68 20 49 20 72 65 | 70 72 6f 64 75 63 65 0a |ich I re|produce.|
|000023d0| 68 65 72 65 2c 20 69 73 | 20 6f 6e 65 20 74 68 61 |here, is| one tha|
|000023e0| 74 20 63 6f 6d 65 73 20 | 66 72 6f 6d 20 42 69 6c |t comes |from Bil|
|000023f0| 6c 20 52 6f 7a 61 73 2e | 0a 0a 5c 62 65 67 69 6e |l Rozas.|..\begin|
|00002400| 7b 6c 69 73 74 7d 7b 7d | 7b 7d 7b 7d 5c 69 74 65 |{list}{}|{}{}\ite|
|00002410| 6d 0a 0a 20 20 20 20 7b | 5c 74 74 28 65 76 61 6c |m..    {|\tt(eval|
|00002420| 20 5c 76 61 72 7b 65 78 | 70 72 65 73 73 69 6f 6e | \var{ex|pression|
|00002430| 7d 20 5c 76 61 72 7b 65 | 6e 76 69 72 6f 6e 6d 65 |} \var{e|nvironme|
|00002440| 6e 74 2d 73 70 65 63 69 | 66 69 65 72 7d 29 7d 0a |nt-speci|fier})}.|
|00002450| 20 20 20 20 20 20 20 20 | 5c 68 66 69 6c 6c 20 7b |        |\hfill {|
|00002460| 5c 72 6d 20 65 73 73 65 | 6e 74 69 61 6c 20 70 72 |\rm esse|ntial pr|
|00002470| 6f 63 65 64 75 72 65 7d | 0a 0a 20 20 20 20 7b 5c |ocedure}|..    {\|
|00002480| 74 74 20 65 76 61 6c 7d | 20 65 76 61 6c 75 61 74 |tt eval}| evaluat|
|00002490| 65 73 20 5c 76 61 72 7b | 65 78 70 72 65 73 73 69 |es \var{|expressi|
|000024a0| 6f 6e 7d 20 69 6e 20 74 | 68 65 20 65 6e 76 69 72 |on} in t|he envir|
|000024b0| 6f 6e 6d 65 6e 74 20 69 | 6e 64 69 63 61 74 65 64 |onment i|ndicated|
|000024c0| 0a 20 20 20 20 62 79 20 | 7b 5c 65 6d 20 65 6e 76 |.    by |{\em env|
|000024d0| 69 72 6f 6e 6d 65 6e 74 | 2d 5c 64 69 73 63 72 65 |ironment|-\discre|
|000024e0| 74 69 6f 6e 61 72 79 7b | 7d 7b 7d 7b 7d 73 70 65 |tionary{|}{}{}spe|
|000024f0| 63 69 66 69 65 72 7d 2e | 20 20 7b 5c 65 6d 0a 20 |cifier}.|  {\em. |
|00002500| 20 20 20 65 6e 76 69 72 | 6f 6e 6d 65 6e 74 2d 73 |   envir|onment-s|
|00002510| 70 65 63 69 66 69 65 72 | 7d 20 6d 61 79 20 62 65 |pecifier|} may be|
|00002520| 20 74 68 65 20 72 65 74 | 75 72 6e 20 76 61 6c 75 | the ret|urn valu|
|00002530| 65 20 6f 66 20 6f 6e 65 | 20 6f 66 20 74 68 65 20 |e of one| of the |
|00002540| 74 68 72 65 65 0a 20 20 | 20 20 70 72 6f 63 65 64 |three.  |  proced|
|00002550| 75 72 65 73 20 64 65 73 | 63 72 69 62 65 64 20 62 |ures des|cribed b|
|00002560| 65 6c 6f 77 2c 20 6f 72 | 20 69 6d 70 6c 65 6d 65 |elow, or| impleme|
|00002570| 6e 74 61 74 69 6f 6e 2d | 73 70 65 63 69 66 69 63 |ntation-|specific|
|00002580| 20 65 78 74 65 6e 73 69 | 6f 6e 73 2e 0a 20 20 20 | extensi|ons..   |
|00002590| 20 4e 6f 20 6f 74 68 65 | 72 20 6f 70 65 72 61 74 | No othe|r operat|
|000025a0| 69 6f 6e 73 20 6f 6e 20 | 65 6e 76 69 72 6f 6e 6d |ions on |environm|
|000025b0| 65 6e 74 20 73 70 65 63 | 69 66 69 65 72 73 20 61 |ent spec|ifiers a|
|000025c0| 72 65 20 64 65 66 69 6e | 65 64 20 62 79 20 74 68 |re defin|ed by th|
|000025d0| 69 73 0a 20 20 20 20 70 | 72 6f 70 6f 73 61 6c 2e |is.    p|roposal.|
|000025e0| 0a 0a 20 20 20 20 49 6d | 70 6c 65 6d 65 6e 74 61 |..    Im|plementa|
|000025f0| 74 69 6f 6e 73 20 6d 61 | 79 20 61 6c 6c 6f 77 20 |tions ma|y allow |
|00002600| 6e 6f 6e 2d 65 78 70 72 | 65 73 73 69 6f 6e 20 70 |non-expr|ession p|
|00002610| 72 6f 67 72 61 6d 73 20 | 28 69 2e 65 2e 5c 0a 20 |rograms |(i.e.\. |
|00002620| 20 20 20 64 65 66 69 6e | 69 74 69 6f 6e 73 29 20 |   defin|itions) |
|00002630| 61 73 20 74 68 65 20 66 | 69 72 73 74 20 61 72 67 |as the f|irst arg|
|00002640| 75 6d 65 6e 74 20 74 6f | 20 7b 5c 74 74 20 65 76 |ument to| {\tt ev|
|00002650| 61 6c 7d 20 5c 76 61 72 | 7b 6f 6e 6c 79 7d 20 77 |al} \var|{only} w|
|00002660| 68 65 6e 0a 20 20 20 20 | 74 68 65 20 73 65 63 6f |hen.    |the seco|
|00002670| 6e 64 20 61 72 67 75 6d | 65 6e 74 20 69 73 20 74 |nd argum|ent is t|
|00002680| 68 65 20 72 65 74 75 72 | 6e 20 76 61 6c 75 65 20 |he retur|n value |
|00002690| 6f 66 20 7b 5c 74 74 20 | 69 6e 74 65 72 61 63 74 |of {\tt |interact|
|000026a0| 69 6f 6e 2d 65 6e 76 69 | 72 6f 6e 6d 65 6e 74 7d |ion-envi|ronment}|
|000026b0| 0a 20 20 20 20 6f 72 20 | 73 6f 6d 65 20 69 6d 70 |.    or |some imp|
|000026c0| 6c 65 6d 65 6e 74 61 74 | 69 6f 6e 20 65 78 74 65 |lementat|ion exte|
|000026d0| 6e 73 69 6f 6e 2e 20 20 | 49 6e 20 6f 74 68 65 72 |nsion.  |In other|
|000026e0| 20 77 6f 72 64 73 2c 20 | 7b 5c 74 74 20 65 76 61 | words, |{\tt eva|
|000026f0| 6c 7d 20 77 69 6c 6c 20 | 6e 65 76 65 72 0a 20 20 |l} will |never.  |
|00002700| 20 20 63 72 65 61 74 65 | 20 6e 65 77 20 62 69 6e |  create| new bin|
|00002710| 64 69 6e 67 73 20 69 6e | 20 74 68 65 20 72 65 74 |dings in| the ret|
|00002720| 75 72 6e 20 76 61 6c 75 | 65 20 6f 66 20 7b 5c 74 |urn valu|e of {\t|
|00002730| 74 20 6e 75 6c 6c 2d 65 | 6e 76 69 72 6f 6e 6d 65 |t null-e|nvironme|
|00002740| 6e 74 7d 20 6f 72 0a 20 | 20 20 20 7b 5c 74 74 20 |nt} or. |   {\tt |
|00002750| 73 63 68 65 6d 65 2d 72 | 65 70 6f 72 74 2d 65 6e |scheme-r|eport-en|
|00002760| 76 69 72 6f 6e 6d 65 6e | 74 7d 2e 0a 0a 20 20 20 |vironmen|t}...   |
|00002770| 20 5c 76 73 70 61 63 65 | 7b 32 65 78 7d 0a 0a 20 | \vspace|{2ex}.. |
|00002780| 20 20 20 7b 5c 74 74 28 | 73 63 68 65 6d 65 2d 72 |   {\tt(|scheme-r|
|00002790| 65 70 6f 72 74 2d 65 6e | 76 69 72 6f 6e 6d 65 6e |eport-en|vironmen|
|000027a0| 74 20 5c 76 61 72 7b 76 | 65 72 73 69 6f 6e 7d 29 |t \var{v|ersion})|
|000027b0| 7d 0a 20 20 20 20 20 20 | 20 20 5c 68 66 69 6c 6c |}.      |  \hfill|
|000027c0| 20 7b 5c 72 6d 20 65 73 | 73 65 6e 74 69 61 6c 20 | {\rm es|sential |
|000027d0| 70 72 6f 63 65 64 75 72 | 65 7d 0a 0a 20 20 20 20 |procedur|e}..    |
|000027e0| 7b 5c 65 6d 20 56 65 72 | 73 69 6f 6e 7d 20 6d 75 |{\em Ver|sion} mu|
|000027f0| 73 74 20 62 65 20 61 6e | 20 65 78 61 63 74 20 6e |st be an| exact n|
|00002800| 6f 6e 2d 6e 65 67 61 74 | 69 76 65 20 69 6e 74 65 |on-negat|ive inte|
|00002810| 67 65 72 20 63 6f 72 72 | 65 73 70 6f 6e 64 69 6e |ger corr|espondin|
|00002820| 67 20 74 6f 20 61 0a 20 | 20 20 20 76 65 72 73 69 |g to a. |   versi|
|00002830| 6f 6e 20 6f 66 20 6f 6e | 65 20 6f 66 20 74 68 65 |on of on|e of the|
|00002840| 20 52 65 76 69 73 65 64 | 24 5e 6e 24 20 52 65 70 | Revised|$^n$ Rep|
|00002850| 6f 72 74 73 20 6f 6e 20 | 53 63 68 65 6d 65 2e 20 |orts on |Scheme. |
|00002860| 20 54 68 69 73 20 70 72 | 6f 63 65 64 75 72 65 0a | This pr|ocedure.|
|00002870| 20 20 20 20 72 65 74 75 | 72 6e 73 20 61 20 73 70 |    retu|rns a sp|
|00002880| 65 63 69 66 69 65 72 20 | 66 6f 72 20 61 6e 20 65 |ecifier |for an e|
|00002890| 6e 76 69 72 6f 6e 6d 65 | 6e 74 20 74 68 61 74 20 |nvironme|nt that |
|000028a0| 63 6f 6e 74 61 69 6e 73 | 20 65 78 61 63 74 6c 79 |contains| exactly|
|000028b0| 20 74 68 65 0a 20 20 20 | 20 73 65 74 20 6f 66 20 | the.   | set of |
|000028c0| 62 69 6e 64 69 6e 67 73 | 20 73 70 65 63 69 66 69 |bindings| specifi|
|000028d0| 65 64 20 69 6e 20 74 68 | 65 20 63 6f 72 72 65 73 |ed in th|e corres|
|000028e0| 70 6f 6e 64 69 6e 67 20 | 72 65 70 6f 72 74 20 74 |ponding |report t|
|000028f0| 68 61 74 20 74 68 65 0a | 20 20 20 20 69 6d 70 6c |hat the.|    impl|
|00002900| 65 6d 65 6e 74 61 74 69 | 6f 6e 20 73 75 70 70 6f |ementati|on suppo|
|00002910| 72 74 73 2e 20 20 4e 6f | 74 20 61 6c 6c 20 76 65 |rts.  No|t all ve|
|00002920| 72 73 69 6f 6e 73 20 6d | 61 79 20 62 65 20 61 76 |rsions m|ay be av|
|00002930| 61 69 6c 61 62 6c 65 20 | 69 6e 20 61 6c 6c 0a 20 |ailable |in all. |
|00002940| 20 20 20 69 6d 70 6c 65 | 6d 65 6e 74 61 74 69 6f |   imple|mentatio|
|00002950| 6e 73 20 61 74 20 61 6c | 6c 20 74 69 6d 65 73 2e |ns at al|l times.|
|00002960| 20 20 48 6f 77 65 76 65 | 72 2c 20 61 6e 20 69 6d |  Howeve|r, an im|
|00002970| 70 6c 65 6d 65 6e 74 61 | 74 69 6f 6e 20 74 68 61 |plementa|tion tha|
|00002980| 74 0a 20 20 20 20 63 6f | 6e 66 6f 72 6d 73 20 74 |t.    co|nforms t|
|00002990| 6f 20 76 65 72 73 69 6f | 6e 20 24 6e 24 20 6f 66 |o versio|n $n$ of|
|000029a0| 20 74 68 65 20 52 65 76 | 69 73 65 64 24 5e 6e 24 | the Rev|ised$^n$|
|000029b0| 20 52 65 70 6f 72 74 73 | 20 6f 6e 20 53 63 68 65 | Reports| on Sche|
|000029c0| 6d 65 20 6d 75 73 74 0a | 20 20 20 20 61 63 63 65 |me must.|    acce|
|000029d0| 70 74 20 76 65 72 73 69 | 6f 6e 20 24 6e 24 2e 20 |pt versi|on $n$. |
|000029e0| 20 49 66 20 7b 5c 74 74 | 20 73 63 68 65 6d 65 2d | If {\tt| scheme-|
|000029f0| 72 65 70 6f 72 74 2d 65 | 6e 76 69 72 6f 6e 6d 65 |report-e|nvironme|
|00002a00| 6e 74 7d 20 69 73 0a 20 | 20 20 20 61 76 61 69 6c |nt} is. |   avail|
|00002a10| 61 62 6c 65 2c 20 62 75 | 74 20 74 68 65 20 73 70 |able, bu|t the sp|
|00002a20| 65 63 69 66 69 65 64 20 | 76 65 72 73 69 6f 6e 20 |ecified |version |
|00002a30| 69 73 20 6e 6f 74 2c 20 | 74 68 65 20 70 72 6f 63 |is not, |the proc|
|00002a40| 65 64 75 72 65 20 77 69 | 6c 6c 0a 20 20 20 20 73 |edure wi|ll.    s|
|00002a50| 69 67 6e 61 6c 20 61 6e | 20 65 72 72 6f 72 2e 0a |ignal an| error..|
|00002a60| 0a 20 20 20 20 54 68 65 | 20 65 66 66 65 63 74 20 |.    The| effect |
|00002a70| 6f 66 20 61 73 73 69 67 | 6e 69 6e 67 20 28 74 68 |of assig|ning (th|
|00002a80| 72 6f 75 67 68 20 74 68 | 65 20 75 73 65 20 6f 66 |rough th|e use of|
|00002a90| 20 7b 5c 74 74 20 65 76 | 61 6c 7d 29 20 61 20 76 | {\tt ev|al}) a v|
|00002aa0| 61 72 69 61 62 6c 65 0a | 20 20 20 20 62 6f 75 6e |ariable.|    boun|
|00002ab0| 64 20 69 6e 20 61 20 7b | 5c 74 74 20 73 63 68 65 |d in a {|\tt sche|
|00002ac0| 6d 65 2d 72 65 70 6f 72 | 74 2d 65 6e 76 69 72 6f |me-repor|t-enviro|
|00002ad0| 6e 6d 65 6e 74 7d 20 28 | 65 2e 67 2e 5c 20 7b 5c |nment} (|e.g.\ {\|
|00002ae0| 74 74 20 63 61 72 7d 29 | 20 69 73 0a 20 20 20 20 |tt car})| is.    |
|00002af0| 75 6e 73 70 65 63 69 66 | 69 65 64 2e 20 54 68 75 |unspecif|ied. Thu|
|00002b00| 73 20 74 68 65 20 65 6e | 76 69 72 6f 6e 6d 65 6e |s the en|vironmen|
|00002b10| 74 73 20 73 70 65 63 69 | 66 69 65 64 20 62 79 20 |ts speci|fied by |
|00002b20| 74 68 65 20 72 65 74 75 | 72 6e 0a 20 20 20 20 76 |the retu|rn.    v|
|00002b30| 61 6c 75 65 73 20 6f 66 | 20 7b 5c 74 74 20 73 63 |alues of| {\tt sc|
|00002b40| 68 65 6d 65 2d 72 65 70 | 6f 72 74 2d 65 6e 76 69 |heme-rep|ort-envi|
|00002b50| 72 6f 6e 6d 65 6e 74 7d | 20 6d 61 79 20 62 65 20 |ronment}| may be |
|00002b60| 69 6d 6d 75 74 61 62 6c | 65 2e 0a 0a 20 20 20 20 |immutabl|e...    |
|00002b70| 5c 76 73 70 61 63 65 7b | 32 65 78 7d 0a 0a 20 20 |\vspace{|2ex}..  |
|00002b80| 20 20 7b 5c 74 74 28 6e | 75 6c 6c 2d 65 6e 76 69 |  {\tt(n|ull-envi|
|00002b90| 72 6f 6e 6d 65 6e 74 29 | 7d 0a 20 20 20 20 20 20 |ronment)|}.      |
|00002ba0| 20 20 5c 68 66 69 6c 6c | 20 7b 5c 72 6d 20 65 73 |  \hfill| {\rm es|
|00002bb0| 73 65 6e 74 69 61 6c 20 | 70 72 6f 63 65 64 75 72 |sential |procedur|
|00002bc0| 65 7d 0a 0a 20 20 20 20 | 54 68 69 73 20 70 72 6f |e}..    |This pro|
|00002bd0| 63 65 64 75 72 65 20 72 | 65 74 75 72 6e 73 20 61 |cedure r|eturns a|
|00002be0| 20 73 70 65 63 69 66 69 | 65 72 20 66 6f 72 20 61 | specifi|er for a|
|00002bf0| 6e 20 65 6e 76 69 72 6f | 6e 6d 65 6e 74 20 74 68 |n enviro|nment th|
|00002c00| 61 74 20 63 6f 6e 74 61 | 69 6e 73 20 6e 6f 0a 20 |at conta|ins no. |
|00002c10| 20 20 20 76 61 72 69 61 | 62 6c 65 20 62 69 6e 64 |   varia|ble bind|
|00002c20| 69 6e 67 73 2c 20 62 75 | 74 20 63 6f 6e 74 61 69 |ings, bu|t contai|
|00002c30| 6e 73 20 28 73 79 6e 74 | 61 63 74 69 63 29 20 62 |ns (synt|actic) b|
|00002c40| 69 6e 64 69 6e 67 73 20 | 66 6f 72 20 61 6c 6c 20 |indings |for all |
|00002c50| 74 68 65 0a 20 20 20 20 | 73 79 6e 74 61 63 74 69 |the.    |syntacti|
|00002c60| 63 20 6b 65 79 77 6f 72 | 64 73 20 64 65 66 69 6e |c keywor|ds defin|
|00002c70| 65 64 20 69 6e 20 74 68 | 65 20 72 65 70 6f 72 74 |ed in th|e report|
|00002c80| 2c 20 61 6e 64 20 6e 6f | 20 6f 74 68 65 72 73 2e |, and no| others.|
|00002c90| 0a 0a 20 20 20 20 5c 76 | 73 70 61 63 65 7b 32 65 |..    \v|space{2e|
|00002ca0| 78 7d 0a 20 20 20 20 25 | 5c 6e 65 77 70 61 67 65 |x}.    %|\newpage|
|00002cb0| 20 20 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |  %%%%%%|%%%%%%%%|
|00002cc0| 25 25 25 25 25 25 25 25 | 25 25 25 25 25 25 25 25 |%%%%%%%%|%%%%%%%%|
|00002cd0| 25 25 25 25 25 25 25 25 | 25 25 25 0a 0a 20 20 20 |%%%%%%%%|%%%..   |
|00002ce0| 20 7b 5c 74 74 28 69 6e | 74 65 72 61 63 74 69 6f | {\tt(in|teractio|
|00002cf0| 6e 2d 65 6e 76 69 72 6f | 6e 6d 65 6e 74 29 7d 0a |n-enviro|nment)}.|
|00002d00| 20 20 20 20 20 20 20 20 | 5c 68 66 69 6c 6c 20 7b |        |\hfill {|
|00002d10| 5c 72 6d 20 70 72 6f 63 | 65 64 75 72 65 7d 0a 0a |\rm proc|edure}..|
|00002d20| 20 20 20 20 54 68 69 73 | 20 70 72 6f 63 65 64 75 |    This| procedu|
|00002d30| 72 65 20 72 65 74 75 72 | 6e 73 20 61 20 73 70 65 |re retur|ns a spe|
|00002d40| 63 69 66 69 65 72 20 66 | 6f 72 20 61 6e 20 65 6e |cifier f|or an en|
|00002d50| 76 69 72 6f 6e 6d 65 6e | 74 20 74 68 61 74 0a 20 |vironmen|t that. |
|00002d60| 20 20 20 63 6f 6e 74 61 | 69 6e 73 20 69 6d 70 6c |   conta|ins impl|
|00002d70| 65 5c 2d 6d 65 6e 5c 2d | 74 61 5c 2d 74 69 6f 6e |e\-men\-|ta\-tion|
|00002d80| 2d 64 65 66 69 6e 65 64 | 20 62 69 6e 64 69 6e 67 |-defined| binding|
|00002d90| 73 2c 20 74 79 70 69 63 | 61 6c 6c 79 20 61 20 73 |s, typic|ally a s|
|00002da0| 75 70 65 72 73 65 74 20 | 6f 66 0a 20 20 20 20 74 |uperset |of.    t|
|00002db0| 68 6f 73 65 20 6c 69 73 | 74 65 64 20 69 6e 20 74 |hose lis|ted in t|
|00002dc0| 68 65 20 72 65 70 6f 72 | 74 2e 20 20 54 68 65 20 |he repor|t.  The |
|00002dd0| 69 6e 74 65 6e 74 20 69 | 73 20 74 68 61 74 20 74 |intent i|s that t|
|00002de0| 68 69 73 20 70 72 6f 63 | 65 64 75 72 65 0a 20 20 |his proc|edure.  |
|00002df0| 20 20 77 69 6c 6c 20 72 | 65 74 75 72 6e 20 61 20 |  will r|eturn a |
|00002e00| 73 70 65 63 69 66 69 65 | 72 20 66 6f 72 20 74 68 |specifie|r for th|
|00002e10| 65 20 65 6e 76 69 72 6f | 6e 6d 65 6e 74 20 69 6e |e enviro|nment in|
|00002e20| 20 77 68 69 63 68 20 74 | 68 65 0a 20 20 20 20 69 | which t|he.    i|
|00002e30| 6d 70 6c 65 6d 65 6e 74 | 61 74 69 6f 6e 20 77 6f |mplement|ation wo|
|00002e40| 75 6c 64 20 65 76 61 6c | 75 61 74 65 20 65 78 70 |uld eval|uate exp|
|00002e50| 72 65 73 73 69 6f 6e 73 | 20 64 79 6e 61 6d 69 63 |ressions| dynamic|
|00002e60| 61 6c 6c 79 20 74 79 70 | 65 64 20 62 79 20 74 68 |ally typ|ed by th|
|00002e70| 65 0a 20 20 20 20 75 73 | 65 72 2e 0a 0a 5c 65 6e |e.    us|er...\en|
|00002e80| 64 7b 6c 69 73 74 7d 0a | 0a 52 6f 7a 61 73 20 65 |d{list}.|.Rozas e|
|00002e90| 78 70 6c 61 69 6e 73 3a | 0a 60 60 54 68 65 20 70 |xplains:|.``The p|
|00002ea0| 72 6f 70 6f 73 61 6c 20 | 64 6f 65 73 20 6e 6f 74 |roposal |does not|
|00002eb0| 20 69 6d 70 6c 79 20 74 | 68 65 20 65 78 69 73 74 | imply t|he exist|
|00002ec0| 65 6e 63 65 20 6f 72 20 | 73 75 70 70 6f 72 74 20 |ence or |support |
|00002ed0| 6f 66 20 66 69 72 73 74 | 2d 63 6c 61 73 73 0a 65 |of first|-class.e|
|00002ee0| 6e 76 69 72 6f 6e 6d 65 | 6e 74 73 2c 20 61 6c 74 |nvironme|nts, alt|
|00002ef0| 68 6f 75 67 68 20 69 74 | 20 69 73 20 63 6f 6d 70 |hough it| is comp|
|00002f00| 61 74 69 62 6c 65 20 77 | 69 74 68 20 74 68 65 6d |atible w|ith them|
|00002f10| 2e 0a 54 68 65 20 70 72 | 6f 70 6f 73 61 6c 20 6f |..The pr|oposal o|
|00002f20| 6e 6c 79 20 72 65 71 75 | 69 72 65 73 20 61 20 77 |nly requ|ires a w|
|00002f30| 61 79 20 6f 66 20 61 73 | 73 6f 63 69 61 74 69 6e |ay of as|sociatin|
|00002f40| 67 20 74 61 67 73 20 77 | 69 74 68 20 61 20 66 69 |g tags w|ith a fi|
|00002f50| 6e 69 74 65 20 73 65 74 | 0a 6f 66 20 64 69 73 74 |nite set|.of dist|
|00002f60| 69 6e 67 75 69 73 68 65 | 64 20 65 6e 76 69 72 6f |inguishe|d enviro|
|00002f70| 6e 6d 65 6e 74 73 20 77 | 68 69 63 68 20 74 68 65 |nments w|hich the|
|00002f80| 20 69 6d 70 6c 65 6d 65 | 6e 74 61 74 69 6f 6e 73 | impleme|ntations|
|00002f90| 20 63 61 6e 20 6d 61 69 | 6e 74 61 69 6e 0a 69 6d | can mai|ntain.im|
|00002fa0| 70 6c 69 63 69 74 6c 79 | 20 28 77 69 74 68 6f 75 |plicitly| (withou|
|00002fb0| 74 20 72 65 69 66 69 63 | 61 74 69 6f 6e 29 2e 0a |t reific|ation)..|
|00002fc0| 0a 60 60 5c 2c 60 50 61 | 73 63 61 6c 2d 6c 69 6b |.``\,`Pa|scal-lik|
|00002fd0| 65 27 20 69 6d 70 6c 65 | 6d 65 6e 74 61 74 69 6f |e' imple|mentatio|
|00002fe0| 6e 73 20 63 61 6e 20 73 | 75 70 70 6f 72 74 20 62 |ns can s|upport b|
|00002ff0| 6f 74 68 20 7b 5c 74 74 | 20 6e 75 6c 6c 2d 65 6e |oth {\tt| null-en|
|00003000| 76 69 72 6f 6e 6d 65 6e | 74 7d 20 61 6e 64 0a 25 |vironmen|t} and.%|
|00003010| 5c 70 65 6e 61 6c 74 79 | 30 0a 7b 5c 74 74 20 73 |\penalty|0.{\tt s|
|00003020| 63 68 65 6d 65 2d 72 65 | 70 6f 72 74 2d 65 6e 76 |cheme-re|port-env|
|00003030| 69 72 6f 6e 6d 65 6e 74 | 7d 20 73 69 6e 63 65 20 |ironment|} since |
|00003040| 74 68 65 20 65 6e 76 69 | 72 6f 6e 6d 65 6e 74 73 |the envi|ronments|
|00003050| 20 73 70 65 63 69 66 69 | 65 64 20 62 79 0a 74 68 | specifi|ed by.th|
|00003060| 65 20 72 65 74 75 72 6e | 20 76 61 6c 75 65 73 20 |e return| values |
|00003070| 6f 66 20 74 68 65 73 65 | 20 70 72 6f 63 65 64 75 |of these| procedu|
|00003080| 72 65 73 20 6e 65 65 64 | 20 6e 6f 74 20 73 68 61 |res need| not sha|
|00003090| 72 65 20 61 6e 79 20 62 | 69 6e 64 69 6e 67 73 20 |re any b|indings |
|000030a0| 77 69 74 68 0a 74 68 65 | 20 63 75 72 72 65 6e 74 |with.the| current|
|000030b0| 20 70 72 6f 67 72 61 6d | 2e 20 20 41 20 76 65 72 | program|.  A ver|
|000030c0| 73 69 6f 6e 20 6f 66 20 | 7b 5c 74 74 20 65 76 61 |sion of |{\tt eva|
|000030d0| 6c 7d 20 74 68 61 74 20 | 73 75 70 70 6f 72 74 73 |l} that |supports|
|000030e0| 20 74 68 65 73 65 20 62 | 75 74 0a 6e 6f 74 20 7b | these b|ut.not {|
|000030f0| 5c 74 74 20 69 6e 74 65 | 72 61 63 74 69 6f 6e 2d |\tt inte|raction-|
|00003100| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 7d 20 63 61 6e |environm|ent} can|
|00003110| 20 62 65 20 77 72 69 74 | 74 65 6e 20 70 6f 72 74 | be writ|ten port|
|00003120| 61 62 6c 79 2c 0a 62 75 | 74 20 63 61 6e 20 62 65 |ably,.bu|t can be|
|00003130| 20 62 65 74 74 65 72 20 | 77 72 69 74 74 65 6e 20 | better |written |
|00003140| 62 79 20 74 68 65 20 69 | 6d 70 6c 65 6d 65 6e 74 |by the i|mplement|
|00003150| 6f 72 2c 20 73 69 6e 63 | 65 20 69 74 20 63 61 6e |or, sinc|e it can|
|00003160| 20 73 68 61 72 65 20 63 | 6f 64 65 0a 77 69 74 68 | share c|ode.with|
|00003170| 20 74 68 65 20 64 65 66 | 61 75 6c 74 20 65 76 61 | the def|ault eva|
|00003180| 6c 75 61 74 6f 72 20 6f | 72 20 63 6f 6d 70 69 6c |luator o|r compil|
|00003190| 65 72 2e 27 27 0a 0a 48 | 65 72 65 20 60 60 50 61 |er.''..H|ere ``Pa|
|000031a0| 73 63 61 6c 2d 6c 69 6b | 65 27 27 20 72 65 66 65 |scal-lik|e'' refe|
|000031b0| 72 73 20 74 6f 20 69 6d | 70 6c 65 6d 65 6e 74 61 |rs to im|plementa|
|000031c0| 74 69 6f 6e 73 20 74 68 | 61 74 20 61 72 65 20 72 |tions th|at are r|
|000031d0| 65 73 74 72 69 63 74 65 | 64 20 74 6f 0a 73 74 61 |estricte|d to.sta|
|000031e0| 74 69 63 20 63 6f 6d 70 | 69 6c 61 74 69 6f 6e 20 |tic comp|ilation |
|000031f0| 61 6e 64 20 6c 69 6e 6b | 69 6e 67 2e 20 20 42 65 |and link|ing.  Be|
|00003200| 63 61 75 73 65 20 61 6e | 20 7b 5c 74 74 20 65 76 |cause an| {\tt ev|
|00003210| 61 6c 7d 20 74 68 61 74 | 20 64 6f 65 73 6e 27 74 |al} that| doesn't|
|00003220| 0a 73 75 70 70 6f 72 74 | 0a 5c 70 65 6e 61 6c 74 |.support|.\penalt|
|00003230| 79 30 0a 7b 5c 74 74 20 | 69 6e 74 65 72 61 63 74 |y0.{\tt |interact|
|00003240| 69 6f 6e 2d 5c 64 69 73 | 63 72 65 74 69 6f 6e 61 |ion-\dis|cretiona|
|00003250| 72 79 7b 7d 7b 7d 7b 7d | 65 6e 76 69 72 6f 6e 6d |ry{}{}{}|environm|
|00003260| 65 6e 74 7d 20 63 61 6e | 20 62 65 20 77 72 69 74 |ent} can| be writ|
|00003270| 74 65 6e 0a 65 6e 74 69 | 72 65 6c 79 20 69 6e 20 |ten.enti|rely in |
|00003280| 74 68 65 20 53 63 68 65 | 6d 65 20 6c 61 6e 67 75 |the Sche|me langu|
|00003290| 61 67 65 20 64 65 73 63 | 72 69 62 65 64 20 62 79 |age desc|ribed by|
|000032a0| 20 74 68 65 20 72 65 73 | 74 20 6f 66 20 74 68 65 | the res|t of the|
|000032b0| 20 72 65 70 6f 72 74 2c | 0a 69 74 20 72 61 69 73 | report,|.it rais|
|000032c0| 65 73 20 6e 6f 20 74 72 | 6f 75 62 6c 65 73 6f 6d |es no tr|oublesom|
|000032d0| 65 20 71 75 65 73 74 69 | 6f 6e 73 20 61 62 6f 75 |e questi|ons abou|
|000032e0| 74 20 69 74 73 20 66 6f | 72 6d 61 6c 20 73 65 6d |t its fo|rmal sem|
|000032f0| 61 6e 74 69 63 73 2e 0a | 0a 0a 5c 70 69 65 63 65 |antics..|..\piece|
|00003300| 7b 4d 61 63 72 6f 73 7d | 0a 0a 54 68 65 20 63 6f |{Macros}|..The co|
|00003310| 6e 73 65 6e 73 75 73 20 | 6f 66 20 74 68 65 20 6d |nsensus |of the m|
|00003320| 65 65 74 69 6e 67 20 77 | 61 73 20 74 68 61 74 20 |eeting w|as that |
|00003330| 7b 5c 74 74 20 64 65 66 | 69 6e 65 2d 73 79 6e 74 |{\tt def|ine-synt|
|00003340| 61 78 7d 2c 20 7b 5c 74 | 74 0a 73 79 6e 74 61 78 |ax}, {\t|t.syntax|
|00003350| 2d 72 75 6c 65 73 7d 2c | 20 7b 5c 74 74 20 6c 65 |-rules},| {\tt le|
|00003360| 74 2d 5c 64 69 73 63 72 | 65 74 69 6f 6e 61 72 79 |t-\discr|etionary|
|00003370| 7b 7d 7b 7d 7b 7d 73 79 | 6e 74 61 78 7d 2c 20 61 |{}{}{}sy|ntax}, a|
|00003380| 6e 64 20 7b 5c 74 74 0a | 6c 65 74 72 65 63 2d 73 |nd {\tt.|letrec-s|
|00003390| 79 6e 74 61 78 7d 20 73 | 68 6f 75 6c 64 20 62 65 |yntax} s|hould be|
|000033a0| 20 6d 6f 76 65 64 20 6f | 75 74 20 6f 66 20 74 68 | moved o|ut of th|
|000033b0| 65 20 72 65 70 6f 72 74 | 27 73 20 61 70 70 65 6e |e report|'s appen|
|000033c0| 64 69 78 20 69 6e 74 6f | 20 74 68 65 0a 6d 61 69 |dix into| the.mai|
|000033d0| 6e 20 62 6f 64 79 20 6f | 66 20 74 68 65 20 72 65 |n body o|f the re|
|000033e0| 70 6f 72 74 2e 20 20 41 | 6c 74 68 6f 75 67 68 20 |port.  A|lthough |
|000033f0| 65 76 65 72 79 6f 6e 65 | 20 61 67 72 65 65 73 20 |everyone| agrees |
|00003400| 74 68 61 74 20 61 20 6c | 6f 77 2d 6c 65 76 65 6c |that a l|ow-level|
|00003410| 0a 6d 61 63 72 6f 20 66 | 61 63 69 6c 69 74 79 20 |.macro f|acility |
|00003420| 69 73 20 69 6d 70 6f 72 | 74 61 6e 74 2c 20 74 68 |is impor|tant, th|
|00003430| 65 20 73 75 62 6a 65 63 | 74 20 69 73 20 74 6f 6f |e subjec|t is too|
|00003440| 20 63 6f 6e 74 65 6e 74 | 69 6f 75 73 20 61 74 0a | content|ious at.|
|00003450| 70 72 65 73 65 6e 74 2c | 20 77 69 74 68 20 74 68 |present,| with th|
|00003460| 72 65 65 20 6f 72 20 6d | 6f 72 65 20 63 6f 6d 70 |ree or m|ore comp|
|00003470| 65 74 69 6e 67 20 70 72 | 6f 70 6f 73 61 6c 73 20 |eting pr|oposals |
|00003480| 61 74 20 70 72 65 73 65 | 6e 74 2e 20 20 54 68 65 |at prese|nt.  The|
|00003490| 0a 64 69 73 70 6f 73 69 | 74 69 6f 6e 20 6f 66 20 |.disposi|tion of |
|000034a0| 74 68 65 20 72 65 73 74 | 20 6f 66 20 74 68 65 20 |the rest| of the |
|000034b0| 61 70 70 65 6e 64 69 78 | 20 61 6e 64 20 6f 66 20 |appendix| and of |
|000034c0| 74 68 65 20 6f 74 68 65 | 72 20 6c 6f 77 2d 6c 65 |the othe|r low-le|
|000034d0| 76 65 6c 0a 70 72 6f 70 | 6f 73 61 6c 73 20 77 69 |vel.prop|osals wi|
|000034e0| 6c 6c 20 62 65 20 6c 65 | 66 74 20 75 70 20 74 6f |ll be le|ft up to|
|000034f0| 20 74 68 65 20 72 65 70 | 6f 72 74 27 73 20 65 64 | the rep|ort's ed|
|00003500| 69 74 6f 72 2e 0a 0a 0a | 5c 70 69 65 63 65 7b 43 |itor....|\piece{C|
|00003510| 6f 6d 6d 69 74 74 65 65 | 20 77 6f 72 6b 7d 0a 0a |ommittee| work}..|
|00003520| 54 68 65 72 65 20 69 73 | 20 61 20 73 74 72 6f 6e |There is| a stron|
|00003530| 67 20 73 65 6e 73 65 20 | 74 68 61 74 20 73 6f 6d |g sense |that som|
|00003540| 65 20 6b 69 6e 64 20 6f | 66 20 65 78 63 65 70 74 |e kind o|f except|
|00003550| 69 6f 6e 20 73 79 73 74 | 65 6d 20 69 73 20 6e 65 |ion syst|em is ne|
|00003560| 65 64 65 64 2e 0a 48 6f | 77 65 76 65 72 2c 20 6e |eded..Ho|wever, n|
|00003570| 6f 20 73 70 65 63 69 66 | 69 63 20 70 72 6f 70 6f |o specif|ic propo|
|00003580| 73 61 6c 20 77 61 73 20 | 72 65 61 64 79 20 61 74 |sal was |ready at|
|00003590| 20 74 68 65 20 74 69 6d | 65 20 6f 66 20 74 68 65 | the tim|e of the|
|000035a0| 20 6d 65 65 74 69 6e 67 | 2e 20 20 41 0a 63 6f 6d | meeting|.  A.com|
|000035b0| 6d 69 74 74 65 65 20 68 | 61 73 20 62 65 65 6e 20 |mittee h|as been |
|000035c0| 66 6f 72 6d 65 64 20 74 | 6f 20 77 6f 72 6b 20 6f |formed t|o work o|
|000035d0| 6e 20 6f 6e 65 2e 20 20 | 57 68 61 74 20 73 65 65 |n one.  |What see|
|000035e0| 6d 73 20 74 6f 20 62 65 | 20 69 6e 20 74 68 65 0a |ms to be| in the.|
|000035f0| 61 69 72 20 6d 69 67 68 | 74 20 62 65 20 64 65 73 |air migh|t be des|
|00003600| 63 72 69 62 65 64 20 61 | 73 20 61 20 68 69 67 68 |cribed a|s a high|
|00003610| 6c 79 20 64 69 73 74 69 | 6c 6c 65 64 20 76 65 72 |ly disti|lled ver|
|00003620| 73 69 6f 6e 20 6f 66 20 | 74 68 65 20 63 6f 6e 64 |sion of |the cond|
|00003630| 69 74 69 6f 6e 0a 73 79 | 73 74 65 6d 20 74 68 61 |ition.sy|stem tha|
|00003640| 74 20 4b 65 6e 74 20 50 | 69 74 6d 61 6e 20 64 65 |t Kent P|itman de|
|00003650| 76 65 6c 6f 70 65 64 20 | 66 6f 72 20 43 6f 6d 6d |veloped |for Comm|
|00003660| 6f 6e 20 4c 69 73 70 2e | 20 20 49 20 68 6f 70 65 |on Lisp.|  I hope|
|00003670| 20 74 68 61 74 20 49 27 | 6c 6c 0a 62 65 20 61 62 | that I'|ll.be ab|
|00003680| 6c 65 20 74 6f 20 72 65 | 70 6f 72 74 20 6f 6e 20 |le to re|port on |
|00003690| 74 68 69 73 20 69 6e 20 | 61 20 66 75 74 75 72 65 |this in |a future|
|000036a0| 20 63 6f 6c 75 6d 6e 2e | 0a 0a 0a 4f 6e 20 74 68 | column.|...On th|
|000036b0| 65 20 73 75 62 6a 65 63 | 74 20 6f 66 20 6c 69 62 |e subjec|t of lib|
|000036c0| 72 61 72 69 65 73 2c 20 | 57 69 6c 6c 20 43 6c 69 |raries, |Will Cli|
|000036d0| 6e 67 65 72 27 73 20 6d | 69 6e 75 74 65 73 20 72 |nger's m|inutes r|
|000036e0| 65 70 6f 72 74 20 74 68 | 61 74 0a 60 60 74 68 65 |eport th|at.``the|
|000036f0| 20 61 75 74 68 6f 72 73 | 20 70 65 72 63 65 69 76 | authors| perceiv|
|00003700| 65 20 61 20 6e 65 65 64 | 20 74 6f 20 67 69 76 65 |e a need| to give|
|00003710| 20 73 6f 6d 65 20 6c 69 | 62 72 61 72 79 20 6f 66 | some li|brary of|
|00003720| 66 69 63 69 61 6c 20 73 | 74 61 74 75 73 2e 20 20 |ficial s|tatus.  |
|00003730| 49 6e 0a 66 61 63 74 2c | 20 77 65 20 6e 65 65 64 |In.fact,| we need|
|00003740| 20 74 6f 20 67 69 76 65 | 20 6f 66 66 69 63 69 61 | to give| officia|
|00003750| 6c 20 73 61 6e 63 74 69 | 6f 6e 20 74 6f 20 6d 75 |l sancti|on to mu|
|00003760| 6c 74 69 70 6c 65 20 6c | 69 62 72 61 72 69 65 73 |ltiple l|ibraries|
|00003770| 2e 20 20 54 68 65 72 65 | 0a 69 73 20 72 65 61 73 |.  There|.is reas|
|00003780| 6f 6e 20 74 6f 20 64 69 | 73 74 69 6e 67 75 69 73 |on to di|stinguis|
|00003790| 68 20 62 65 74 77 65 65 | 6e 20 61 63 63 65 70 74 |h betwee|n accept|
|000037a0| 65 64 20 28 6f 72 20 73 | 74 61 6e 64 61 72 64 29 |ed (or s|tandard)|
|000037b0| 20 6c 69 62 72 61 72 69 | 65 73 2c 0a 65 78 70 65 | librari|es,.expe|
|000037c0| 72 69 6d 65 6e 74 61 6c | 20 6c 69 62 72 61 72 69 |rimental| librari|
|000037d0| 65 73 2c 20 61 6e 64 20 | 70 72 6f 70 6f 73 61 6c |es, and |proposal|
|000037e0| 73 2e 20 20 54 68 65 20 | 61 63 63 65 70 74 65 64 |s.  The |accepted|
|000037f0| 20 6c 69 62 72 61 72 69 | 65 73 20 63 61 6e 0a 72 | librari|es can.r|
|00003800| 65 64 75 63 65 20 74 68 | 65 20 69 6e 74 65 6c 6c |educe th|e intell|
|00003810| 65 63 74 75 61 6c 20 73 | 69 7a 65 20 6f 66 20 74 |ectual s|ize of t|
|00003820| 68 65 20 6c 61 6e 67 75 | 61 67 65 20 62 79 20 72 |he langu|age by r|
|00003830| 65 6d 6f 76 69 6e 67 20 | 74 68 69 6e 67 73 20 6c |emoving |things l|
|00003840| 69 6b 65 0a 7b 5c 74 74 | 20 73 74 72 69 6e 67 2d |ike.{\tt| string-|
|00003850| 3e 6c 69 73 74 7d 20 66 | 72 6f 6d 20 74 68 65 20 |>list} f|rom the |
|00003860| 72 65 70 6f 72 74 2e 20 | 20 54 68 65 20 65 78 70 |report. | The exp|
|00003870| 65 72 69 6d 65 6e 74 61 | 6c 20 6c 69 62 72 61 72 |erimenta|l librar|
|00003880| 69 65 73 20 77 6f 75 6c | 64 0a 63 6f 6e 74 61 69 |ies woul|d.contai|
|00003890| 6e 20 73 6f 6c 69 64 20 | 69 6d 70 6c 65 6d 65 6e |n solid |implemen|
|000038a0| 74 61 74 69 6f 6e 73 20 | 6f 66 20 65 78 70 65 72 |tations |of exper|
|000038b0| 69 6d 65 6e 74 61 6c 20 | 66 65 61 74 75 72 65 73 |imental |features|
|000038c0| 2c 20 69 6e 63 6c 75 64 | 69 6e 67 0a 74 68 69 6e |, includ|ing.thin|
|000038d0| 67 73 20 74 68 61 74 20 | 6d 69 67 68 74 20 6e 65 |gs that |might ne|
|000038e0| 76 65 72 20 64 65 73 65 | 72 76 65 20 74 6f 20 62 |ver dese|rve to b|
|000038f0| 65 20 69 6e 20 74 68 65 | 20 72 65 70 6f 72 74 2e |e in the| report.|
|00003900| 20 20 54 68 65 20 70 72 | 6f 70 6f 73 61 6c 0a 6c |  The pr|oposal.l|
|00003910| 69 62 72 61 72 69 65 73 | 20 63 6f 75 6c 64 20 63 |ibraries| could c|
|00003920| 6f 6e 74 61 69 6e 20 61 | 6e 79 74 68 69 6e 67 20 |ontain a|nything |
|00003930| 69 6d 70 6c 65 6d 65 6e | 74 65 64 20 69 6e 20 70 |implemen|ted in p|
|00003940| 6f 72 74 61 62 6c 65 20 | 53 63 68 65 6d 65 2e 27 |ortable |Scheme.'|
|00003950| 27 0a 0a 0a 41 6d 6f 6e | 67 20 74 68 65 20 63 6f |'...Amon|g the co|
|00003960| 6e 74 65 6e 74 20 6f 66 | 20 74 68 65 20 61 63 63 |ntent of| the acc|
|00003970| 65 70 74 65 64 20 6c 69 | 62 72 61 72 69 65 73 2c |epted li|braries,|
|00003980| 20 73 6f 6d 65 20 66 65 | 61 74 75 72 65 73 20 28 | some fe|atures (|
|00003990| 73 75 63 68 20 61 73 0a | 74 68 6f 73 65 20 74 68 |such as.|those th|
|000039a0| 61 74 20 6d 61 79 20 62 | 65 20 6d 6f 76 65 64 20 |at may b|e moved |
|000039b0| 6f 75 74 20 6f 66 20 74 | 68 65 20 62 6f 64 79 20 |out of t|he body |
|000039c0| 6f 66 20 74 68 65 20 72 | 65 70 6f 72 74 29 20 6d |of the r|eport) m|
|000039d0| 61 79 20 62 65 20 72 65 | 71 75 69 72 65 64 0a 74 |ay be re|quired.t|
|000039e0| 6f 20 62 65 20 62 75 69 | 6c 74 20 69 6e 20 74 6f |o be bui|lt in to|
|000039f0| 20 69 6d 70 6c 65 6d 65 | 6e 74 61 74 69 6f 6e 73 | impleme|ntations|
|00003a00| 2c 20 77 68 69 6c 65 20 | 6f 74 68 65 72 73 20 77 |, while |others w|
|00003a10| 69 6c 6c 20 62 65 20 65 | 78 70 65 63 74 65 64 20 |ill be e|xpected |
|00003a20| 74 6f 20 62 65 0a 61 76 | 61 69 6c 61 62 6c 65 20 |to be.av|ailable |
|00003a30| 6f 6e 20 64 65 6d 61 6e | 64 20 28 70 65 72 68 61 |on deman|d (perha|
|00003a40| 70 73 20 75 73 69 6e 67 | 20 73 6f 6d 65 74 68 69 |ps using| somethi|
|00003a50| 6e 67 20 73 69 6d 69 6c | 61 72 20 74 6f 2c 20 62 |ng simil|ar to, b|
|00003a60| 75 74 20 6e 6f 74 20 74 | 68 65 0a 73 61 6d 65 20 |ut not t|he.same |
|00003a70| 61 73 2c 20 7b 5c 74 74 | 20 72 65 71 75 69 72 65 |as, {\tt| require|
|00003a80| 7d 20 61 73 20 66 6f 75 | 6e 64 20 69 6e 20 43 6f |} as fou|nd in Co|
|00003a90| 6d 6d 6f 6e 20 4c 69 73 | 70 20 61 6e 64 20 47 4e |mmon Lis|p and GN|
|00003aa0| 55 20 45 6d 61 63 73 29 | 2e 0a 0a 41 20 6c 69 62 |U Emacs)|...A lib|
|00003ab0| 72 61 72 69 61 6e 20 77 | 61 73 20 61 70 70 6f 69 |rarian w|as appoi|
|00003ac0| 6e 74 65 64 20 28 52 65 | 65 73 29 2c 20 61 6e 64 |nted (Re|es), and|
|00003ad0| 20 61 20 6c 69 62 72 61 | 72 79 20 63 6f 6d 6d 69 | a libra|ry commi|
|00003ae0| 74 74 65 65 20 69 73 0a | 64 65 76 65 6c 6f 70 69 |ttee is.|developi|
|00003af0| 6e 67 20 70 72 6f 70 6f | 73 61 6c 73 20 66 6f 72 |ng propo|sals for|
|00003b00| 20 74 68 65 20 63 68 61 | 72 74 65 72 2c 20 73 74 | the cha|rter, st|
|00003b10| 72 75 63 74 75 72 65 2c | 20 61 6e 64 20 63 6f 6e |ructure,| and con|
|00003b20| 74 65 6e 74 20 6f 66 20 | 74 68 65 0a 6c 69 62 72 |tent of |the.libr|
|00003b30| 61 72 69 65 73 2e 0a 0a | 0a 5c 73 65 70 61 72 61 |aries...|.\separa|
|00003b40| 74 6f 72 0a 0a 49 20 77 | 6f 75 6c 64 20 6c 69 6b |tor..I w|ould lik|
|00003b50| 65 20 74 6f 20 61 63 6b | 6e 6f 77 6c 65 64 67 65 |e to ack|nowledge|
|00003b60| 20 57 69 6c 6c 20 43 6c | 69 6e 67 65 72 2c 20 77 | Will Cl|inger, w|
|00003b70| 68 6f 20 70 72 65 70 61 | 72 65 64 20 74 68 65 20 |ho prepa|red the |
|00003b80| 6d 69 6e 75 74 65 73 20 | 6f 66 0a 74 68 65 20 6d |minutes |of.the m|
|00003b90| 65 65 74 69 6e 67 2c 20 | 61 6e 64 20 74 68 65 20 |eeting, |and the |
|00003ba0| 76 61 72 69 6f 75 73 20 | 70 65 6f 70 6c 65 20 77 |various |people w|
|00003bb0| 68 6f 20 63 6f 6e 74 72 | 69 62 75 74 65 64 20 70 |ho contr|ibuted p|
|00003bc0| 72 6f 70 6f 73 61 6c 73 | 2c 0a 69 6e 63 6c 75 64 |roposals|,.includ|
|00003bd0| 69 6e 67 20 42 69 6c 6c | 20 52 6f 7a 61 73 20 61 |ing Bill| Rozas a|
|00003be0| 6e 64 20 4a 6f 68 6e 20 | 52 61 6d 73 64 65 6c 6c |nd John |Ramsdell|
|00003bf0| 2e 20 20 41 6e 79 20 65 | 72 72 6f 72 73 20 68 65 |.  Any e|rrors he|
|00003c00| 72 65 20 61 72 65 20 6d | 79 0a 72 65 73 70 6f 6e |re are m|y.respon|
|00003c10| 73 69 62 69 6c 69 74 79 | 2c 20 68 6f 77 65 76 65 |sibility|, howeve|
|00003c20| 72 2e 20 20 54 68 61 6e | 6b 73 20 61 6c 73 6f 20 |r.  Than|ks also |
|00003c30| 74 6f 20 4e 6f 72 6d 61 | 6e 20 41 64 61 6d 73 20 |to Norma|n Adams |
|00003c40| 61 6e 64 20 52 69 63 68 | 61 72 64 0a 4b 65 6c 73 |and Rich|ard.Kels|
|00003c50| 65 79 20 66 6f 72 20 63 | 6f 72 72 65 63 74 69 6f |ey for c|orrectio|
|00003c60| 6e 73 20 74 6f 20 61 20 | 64 72 61 66 74 20 6f 66 |ns to a |draft of|
|00003c70| 20 74 68 69 73 20 61 72 | 74 69 63 6c 65 2e 0a 0a | this ar|ticle...|
|00003c80| 49 20 77 6f 75 6c 64 20 | 61 6c 73 6f 20 6c 69 6b |I would |also lik|
|00003c90| 65 20 74 6f 20 62 65 6c | 61 74 65 64 6c 79 20 61 |e to bel|atedly a|
|00003ca0| 63 6b 6e 6f 77 6c 65 64 | 67 65 20 4e 6f 72 6d 61 |cknowled|ge Norma|
|00003cb0| 6e 20 41 64 61 6d 73 2c | 20 50 61 76 65 6c 0a 43 |n Adams,| Pavel.C|
|00003cc0| 75 72 74 69 73 2c 20 42 | 72 75 63 65 20 44 6f 6e |urtis, B|ruce Don|
|00003cd0| 61 6c 64 2c 20 61 6e 64 | 20 52 69 63 68 61 72 64 |ald, and| Richard|
|00003ce0| 20 4b 65 6c 73 65 79 20 | 66 6f 72 20 74 68 65 69 | Kelsey |for thei|
|00003cf0| 72 20 63 6f 6d 6d 65 6e | 74 73 20 6f 6e 20 64 72 |r commen|ts on dr|
|00003d00| 61 66 74 73 20 6f 66 0a | 6d 79 20 70 72 65 76 69 |afts of.|my previ|
|00003d10| 6f 75 73 20 63 6f 6c 75 | 6d 6e 2e 0a 0a 46 6f 72 |ous colu|mn...For|
|00003d20| 20 66 75 74 75 72 65 20 | 63 6f 6c 75 6d 6e 73 2c | future |columns,|
|00003d30| 20 49 20 61 6d 20 65 6e | 74 65 72 74 61 69 6e 69 | I am en|tertaini|
|00003d40| 6e 67 20 76 61 72 69 6f | 75 73 20 74 6f 70 69 63 |ng vario|us topic|
|00003d50| 20 70 6f 73 73 69 62 69 | 6c 69 74 69 65 73 2c 0a | possibi|lities,.|
|00003d60| 69 6e 63 6c 75 64 69 6e | 67 20 7b 5c 74 74 20 65 |includin|g {\tt e|
|00003d70| 76 61 6c 7d 2c 20 74 68 | 72 65 61 64 73 2c 20 7b |val}, th|reads, {|
|00003d80| 5c 74 74 20 61 6d 62 7d | 2c 20 61 6e 64 20 6d 6f |\tt amb}|, and mo|
|00003d90| 6e 61 64 73 2e 0a 49 66 | 20 79 6f 75 20 68 61 76 |nads..If| you hav|
|00003da0| 65 20 6f 74 68 65 72 20 | 69 64 65 61 73 2c 20 61 |e other |ideas, a|
|00003db0| 6e 64 20 70 61 72 74 69 | 63 75 6c 61 72 6c 79 20 |nd parti|cularly |
|00003dc0| 69 66 20 79 6f 75 20 74 | 68 69 6e 6b 20 74 68 65 |if you t|hink the|
|00003dd0| 20 77 72 69 74 74 65 6e | 0a 72 65 63 6f 72 64 20 | written|.record |
|00003de0| 6f 6e 20 74 68 65 20 6c | 61 6e 67 75 61 67 65 20 |on the l|anguage |
|00003df0| 69 73 20 70 61 72 74 69 | 63 75 6c 61 72 6c 79 20 |is parti|cularly |
|00003e00| 70 6f 6f 72 20 69 6e 20 | 63 65 72 74 61 69 6e 20 |poor in |certain |
|00003e10| 61 72 65 61 73 2c 20 70 | 6c 65 61 73 65 0a 77 72 |areas, p|lease.wr|
|00003e20| 69 74 65 20 61 6e 64 20 | 6c 65 74 20 6d 65 20 6b |ite and |let me k|
|00003e30| 6e 6f 77 2e 0a 0a 5c 76 | 73 70 61 63 65 7b 32 65 |now...\v|space{2e|
|00003e40| 78 7d 0a 0a 25 5c 6e 65 | 77 70 61 67 65 0a 0a 25 |x}..%\ne|wpage..%|
|00003e50| 5c 62 67 72 6f 75 70 20 | 5c 73 6d 61 6c 6c 0a 0a |\bgroup |\small..|
|00003e60| 5c 70 69 65 63 65 7b 41 | 70 70 65 6e 64 69 78 3a |\piece{A|ppendix:|
|00003e70| 20 41 6e 20 69 6d 70 6c | 65 6d 65 6e 74 61 74 69 | An impl|ementati|
|00003e80| 6f 6e 20 6f 66 20 7b 5c | 74 74 20 64 79 6e 61 6d |on of {\|tt dynam|
|00003e90| 69 63 2d 77 69 6e 64 7d | 7d 0a 0a 54 68 69 73 20 |ic-wind}|}..This |
|00003ea0| 70 72 6f 67 72 61 6d 20 | 69 73 20 62 61 73 65 64 |program |is based|
|00003eb0| 20 6f 6e 20 6d 79 20 76 | 61 67 75 65 20 72 65 63 | on my v|ague rec|
|00003ec0| 6f 6c 6c 65 63 74 69 6f | 6e 20 6f 66 20 61 6e 20 |ollectio|n of an |
|00003ed0| 61 6e 63 69 65 6e 74 0a | 6d 61 6e 75 73 63 72 69 |ancient.|manuscri|
|00003ee0| 70 74 20 62 79 20 43 68 | 72 69 73 20 48 61 6e 73 |pt by Ch|ris Hans|
|00003ef0| 6f 6e 20 61 6e 64 20 4a | 6f 68 6e 20 4c 61 6d 70 |on and J|ohn Lamp|
|00003f00| 69 6e 67 2e 20 20 49 20 | 61 70 6f 6c 6f 67 69 7a |ing.  I |apologiz|
|00003f10| 65 20 66 6f 72 20 74 68 | 65 20 6c 61 63 6b 0a 6f |e for th|e lack.o|
|00003f20| 66 20 64 61 74 61 20 61 | 62 73 74 72 61 63 74 69 |f data a|bstracti|
|00003f30| 6f 6e 2c 20 62 75 74 20 | 74 68 65 20 63 6f 64 65 |on, but |the code|
|00003f40| 20 69 73 20 6d 6f 72 65 | 20 63 6f 6e 63 69 73 65 | is more| concise|
|00003f50| 20 74 68 69 73 20 77 61 | 79 2e 0a 0a 41 20 73 74 | this wa|y...A st|
|00003f60| 61 74 65 20 73 70 61 63 | 65 20 69 73 20 61 20 74 |ate spac|e is a t|
|00003f70| 72 65 65 20 77 69 74 68 | 20 74 68 65 20 63 75 72 |ree with| the cur|
|00003f80| 72 65 6e 74 20 73 74 61 | 74 65 20 61 74 20 74 68 |rent sta|te at th|
|00003f90| 65 20 72 6f 6f 74 2e 20 | 20 45 61 63 68 20 6e 6f |e root. | Each no|
|00003fa0| 64 65 20 6f 74 68 65 72 | 0a 74 68 61 6e 20 74 68 |de other|.than th|
|00003fb0| 65 20 72 6f 6f 74 20 69 | 73 20 61 20 74 72 69 70 |e root i|s a trip|
|00003fc0| 6c 65 20 24 5c 6c 61 6e | 67 6c 65 5c 76 61 72 7b |le $\lan|gle\var{|
|00003fd0| 62 65 66 6f 72 65 7d 2c | 20 5c 76 61 72 7b 61 66 |before},| \var{af|
|00003fe0| 74 65 72 7d 2c 0a 5c 76 | 61 72 7b 70 61 72 65 6e |ter},.\v|ar{paren|
|00003ff0| 74 7d 5c 72 61 6e 67 6c | 65 24 2c 20 72 65 70 72 |t}\rangl|e$, repr|
|00004000| 65 73 65 6e 74 65 64 20 | 69 6e 20 74 68 69 73 20 |esented |in this |
|00004010| 69 6d 70 6c 65 6d 65 6e | 74 61 74 69 6f 6e 20 61 |implemen|tation a|
|00004020| 73 20 74 77 6f 20 70 61 | 69 72 73 0a 7b 5c 74 74 |s two pa|irs.{\tt|
|00004030| 28 28 5c 76 61 72 7b 62 | 65 66 6f 72 65 7d 20 2e |((\var{b|efore} .|
|00004040| 5c 20 5c 76 61 72 7b 61 | 66 74 65 72 7d 29 20 2e |\ \var{a|fter}) .|
|00004050| 5c 20 5c 76 61 72 7b 70 | 61 72 65 6e 74 7d 29 7d |\ \var{p|arent})}|
|00004060| 2e 0a 4e 61 76 69 67 61 | 74 69 6e 67 20 62 65 74 |..Naviga|ting bet|
|00004070| 77 65 65 6e 20 73 74 61 | 74 65 73 20 72 65 71 75 |ween sta|tes requ|
|00004080| 69 72 65 73 20 72 65 2d | 72 6f 6f 74 69 6e 67 20 |ires re-|rooting |
|00004090| 74 68 65 20 74 72 65 65 | 20 62 79 20 72 65 76 65 |the tree| by reve|
|000040a0| 72 73 69 6e 67 0a 70 61 | 72 65 6e 74 2d 63 68 69 |rsing.pa|rent-chi|
|000040b0| 6c 64 20 6c 69 6e 6b 73 | 2e 0a 0a 53 69 6e 63 65 |ld links|...Since|
|000040c0| 20 7b 5c 74 74 20 64 79 | 6e 61 6d 69 63 2d 77 69 | {\tt dy|namic-wi|
|000040d0| 6e 64 7d 20 69 6e 74 65 | 72 61 63 74 73 20 77 69 |nd} inte|racts wi|
|000040e0| 74 68 20 7b 5c 74 74 0a | 63 61 6c 6c 2d 77 69 74 |th {\tt.|call-wit|
|000040f0| 68 2d 63 75 72 72 65 6e | 74 2d 63 6f 6e 74 69 6e |h-curren|t-contin|
|00004100| 75 61 74 69 6f 6e 7d 2c | 20 74 68 69 73 20 69 6d |uation},| this im|
|00004110| 70 6c 65 6d 65 6e 74 61 | 74 69 6f 6e 20 6d 75 73 |plementa|tion mus|
|00004120| 74 20 72 65 70 6c 61 63 | 65 20 74 68 65 0a 75 73 |t replac|e the.us|
|00004130| 75 61 6c 20 64 65 66 69 | 6e 69 74 69 6f 6e 20 6f |ual defi|nition o|
|00004140| 66 20 74 68 65 20 6c 61 | 74 74 65 72 2e 0a 0a 5c |f the la|tter...\|
|00004150| 62 65 67 69 6e 7b 63 6f | 64 65 7d 0a 28 64 65 66 |begin{co|de}.(def|
|00004160| 69 6e 65 20 2a 68 65 72 | 65 2a 20 28 6c 69 73 74 |ine *her|e* (list|
|00004170| 20 23 66 29 29 0a 5c 63 | 6f 64 65 73 6b 69 70 0a | #f)).\c|odeskip.|
|00004180| 28 64 65 66 69 6e 65 20 | 6f 72 69 67 69 6e 61 6c |(define |original|
|00004190| 2d 63 77 63 63 20 63 61 | 6c 6c 2d 77 69 74 68 2d |-cwcc ca|ll-with-|
|000041a0| 63 75 72 72 65 6e 74 2d | 63 6f 6e 74 69 6e 75 61 |current-|continua|
|000041b0| 74 69 6f 6e 29 0a 5c 63 | 6f 64 65 73 6b 69 70 0a |tion).\c|odeskip.|
|000041c0| 28 64 65 66 69 6e 65 20 | 28 63 61 6c 6c 2d 77 69 |(define |(call-wi|
|000041d0| 74 68 2d 63 75 72 72 65 | 6e 74 2d 63 6f 6e 74 69 |th-curre|nt-conti|
|000041e0| 6e 75 61 74 69 6f 6e 20 | 70 72 6f 63 29 0a 20 20 |nuation |proc).  |
|000041f0| 28 6c 65 74 20 28 28 68 | 65 72 65 20 2a 68 65 72 |(let ((h|ere *her|
|00004200| 65 2a 29 29 0a 20 20 20 | 20 28 6f 72 69 67 69 6e |e*)).   | (origin|
|00004210| 61 6c 2d 63 77 63 63 20 | 28 6c 61 6d 62 64 61 20 |al-cwcc |(lambda |
|00004220| 28 63 6f 6e 74 29 0a 20 | 20 20 20 20 20 20 20 20 |(cont). |        |
|00004230| 20 20 20 20 20 20 20 20 | 20 20 20 20 28 70 72 6f |        |    (pro|
|00004240| 63 20 28 6c 61 6d 62 64 | 61 20 72 65 73 75 6c 74 |c (lambd|a result|
|00004250| 73 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |s.      |        |
|00004260| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 28 |        |       (|
|00004270| 72 65 72 6f 6f 74 21 20 | 68 65 72 65 29 0a 20 20 |reroot! |here).  |
|00004280| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00004290| 20 20 20 20 20 20 20 20 | 20 20 20 28 61 70 70 6c |        |   (appl|
|000042a0| 79 20 63 6f 6e 74 20 72 | 65 73 75 6c 74 73 29 29 |y cont r|esults))|
|000042b0| 29 29 29 29 29 0a 5c 63 | 6f 64 65 73 6b 69 70 0a |))))).\c|odeskip.|
|000042c0| 28 64 65 66 69 6e 65 20 | 28 64 79 6e 61 6d 69 63 |(define |(dynamic|
|000042d0| 2d 77 69 6e 64 20 62 65 | 66 6f 72 65 20 64 75 72 |-wind be|fore dur|
|000042e0| 69 6e 67 20 61 66 74 65 | 72 29 0a 20 20 28 6c 65 |ing afte|r).  (le|
|000042f0| 74 20 28 28 68 65 72 65 | 20 2a 68 65 72 65 2a 29 |t ((here| *here*)|
|00004300| 29 0a 20 20 20 20 28 72 | 65 72 6f 6f 74 21 20 28 |).    (r|eroot! (|
|00004310| 63 6f 6e 73 20 28 63 6f | 6e 73 20 62 65 66 6f 72 |cons (co|ns befor|
|00004320| 65 20 61 66 74 65 72 29 | 20 68 65 72 65 29 29 0a |e after)| here)).|
|00004330| 20 20 20 20 28 63 61 6c | 6c 2d 77 69 74 68 2d 76 |    (cal|l-with-v|
|00004340| 61 6c 75 65 73 20 64 75 | 72 69 6e 67 0a 20 20 20 |alues du|ring.   |
|00004350| 20 20 20 28 6c 61 6d 62 | 64 61 20 72 65 73 75 6c |   (lamb|da resul|
|00004360| 74 73 0a 20 20 20 20 20 | 20 20 20 28 72 65 72 6f |ts.     |   (rero|
|00004370| 6f 74 21 20 68 65 72 65 | 29 0a 20 20 20 20 20 20 |ot! here|).      |
|00004380| 20 20 28 61 70 70 6c 79 | 20 76 61 6c 75 65 73 20 |  (apply| values |
|00004390| 72 65 73 75 6c 74 73 29 | 29 29 29 29 0a 5c 63 6f |results)|)))).\co|
|000043a0| 64 65 73 6b 69 70 0a 28 | 64 65 66 69 6e 65 20 28 |deskip.(|define (|
|000043b0| 72 65 72 6f 6f 74 21 20 | 74 68 65 72 65 29 0a 20 |reroot! |there). |
|000043c0| 20 28 69 66 20 28 6e 6f | 74 20 28 65 71 3f 20 2a | (if (no|t (eq? *|
|000043d0| 68 65 72 65 2a 20 74 68 | 65 72 65 29 29 0a 20 20 |here* th|ere)).  |
|000043e0| 20 20 20 20 28 62 65 67 | 69 6e 20 28 72 65 72 6f |    (beg|in (rero|
|000043f0| 6f 74 21 20 28 63 64 72 | 20 74 68 65 72 65 29 29 |ot! (cdr| there))|
|00004400| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 28 6c |.       |      (l|
|00004410| 65 74 20 28 28 62 65 66 | 6f 72 65 20 28 63 61 61 |et ((bef|ore (caa|
|00004420| 72 20 74 68 65 72 65 29 | 29 0a 20 20 20 20 20 20 |r there)|).      |
|00004430| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 28 61 66 |        |     (af|
|00004440| 74 65 72 20 28 63 64 61 | 72 20 74 68 65 72 65 29 |ter (cda|r there)|
|00004450| 29 29 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |)).     |        |
|00004460| 20 20 28 73 65 74 2d 63 | 61 72 21 20 2a 68 65 72 |  (set-c|ar! *her|
|00004470| 65 2a 20 28 63 6f 6e 73 | 20 61 66 74 65 72 20 62 |e* (cons| after b|
|00004480| 65 66 6f 72 65 29 29 0a | 20 20 20 20 20 20 20 20 |efore)).|        |
|00004490| 20 20 20 20 20 20 20 28 | 73 65 74 2d 63 64 72 21 |       (|set-cdr!|
|000044a0| 20 2a 68 65 72 65 2a 20 | 74 68 65 72 65 29 0a 20 | *here* |there). |
|000044b0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 28 73 |        |      (s|
|000044c0| 65 74 2d 63 61 72 21 20 | 74 68 65 72 65 20 23 66 |et-car! |there #f|
|000044d0| 29 0a 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |).      |        |
|000044e0| 20 28 73 65 74 2d 63 64 | 72 21 20 74 68 65 72 65 | (set-cd|r! there|
|000044f0| 20 27 28 29 29 0a 20 20 | 20 20 20 20 20 20 20 20 | '()).  |        |
|00004500| 20 20 20 20 20 28 73 65 | 74 21 20 2a 68 65 72 65 |     (se|t! *here|
|00004510| 2a 20 74 68 65 72 65 29 | 0a 20 20 20 20 20 20 20 |* there)|.       |
|00004520| 20 20 20 20 20 20 20 20 | 28 62 65 66 6f 72 65 29 |        |(before)|
|00004530| 29 29 29 29 0a 5c 65 6e | 64 7b 63 6f 64 65 7d 0a |)))).\en|d{code}.|
|00004540| 0a 25 5c 65 67 72 6f 75 | 70 0a 0a 5c 65 6e 64 7b |.%\egrou|p..\end{|
|00004550| 64 6f 63 75 6d 65 6e 74 | 7d 0a                   |document|}.      |
+--------+-------------------------+-------------------------+--------+--------+