/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / scheme / schmrprt / r4rs.lha / first.tex

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 20 46 69 72 73 74 20 | 70 61 67 65 0a 0a 5c 74 |% First |page..\t|
|00000010| 68 69 73 70 61 67 65 73 | 74 79 6c 65 7b 65 6d 70 |hispages|tyle{emp|
|00000020| 74 79 7d 0a 0a 25 20 5c | 74 6f 64 6f 7b 22 61 6e |ty}..% \|todo{"an|
|00000030| 6f 74 68 65 72 22 20 72 | 65 70 6f 72 74 3f 7d 0a |other" r|eport?}.|
|00000040| 0a 5c 74 6f 70 6e 65 77 | 70 61 67 65 5b 7b 0a 5c |.\topnew|page[{.\|
|00000050| 62 65 67 69 6e 7b 63 65 | 6e 74 65 72 7d 20 20 20 |begin{ce|nter}   |
|00000060| 7b 5c 68 75 67 65 5c 62 | 66 0a 09 52 65 76 69 73 |{\huge\b|f..Revis|
|00000070| 65 64 24 5e 7b 5c 62 66 | 20 34 7d 24 20 52 65 70 |ed$^{\bf| 4}$ Rep|
|00000080| 6f 72 74 20 6f 6e 20 74 | 68 65 20 41 6c 67 6f 72 |ort on t|he Algor|
|00000090| 69 74 68 6d 69 63 20 4c | 61 6e 67 75 61 67 65 20 |ithmic L|anguage |
|000000a0| 5c 5c 0a 09 09 09 20 20 | 20 20 20 20 5c 76 73 6b |\\....  |    \vsk|
|000000b0| 69 70 20 33 70 74 0a 09 | 09 09 09 53 63 68 65 6d |ip 3pt..|...Schem|
|000000c0| 65 7d 0a 5c 76 73 6b 69 | 70 20 31 65 78 0a 24 24 |e}.\vski|p 1ex.$$|
|000000d0| 0a 5c 62 65 67 69 6e 7b | 74 61 62 75 6c 61 72 7d |.\begin{|tabular}|
|000000e0| 7b 6c 40 7b 5c 65 78 74 | 72 61 63 6f 6c 73 65 70 |{l@{\ext|racolsep|
|000000f0| 7b 2e 35 69 6e 7d 7d 6c | 6c 6c 7d 0a 5c 6d 75 6c |{.5in}}l|ll}.\mul|
|00000100| 74 69 63 6f 6c 75 6d 6e | 7b 34 7d 7b 63 7d 7b 57 |ticolumn|{4}{c}{W|
|00000110| 7b 5c 73 63 20 49 4c 4c | 49 41 4d 7d 20 43 7b 5c |{\sc ILL|IAM} C{\|
|00000120| 73 63 20 4c 49 4e 47 45 | 52 20 41 4e 44 7d 20 4a |sc LINGE|R AND} J|
|00000130| 7b 5c 73 63 20 4f 4e 41 | 54 48 41 4e 7d 20 52 7b |{\sc ONA|THAN} R{|
|00000140| 5c 73 63 20 45 45 53 7d | 0a 20 28 7b 5c 69 74 20 |\sc EES}|. ({\it |
|00000150| 45 64 69 74 6f 72 73 5c | 2f 7d 29 7d 20 5c 5c 0a |Editors\|/})} \\.|
|00000160| 48 2e 20 41 7b 5c 73 63 | 20 42 45 4c 53 4f 4e 7d |H. A{\sc| BELSON}|
|00000170| 20 20 20 20 20 26 0a 52 | 2e 20 4b 2e 20 44 7b 5c |     &.R|. K. D{\|
|00000180| 73 63 20 59 42 56 49 47 | 7d 20 20 20 26 0a 43 2e |sc YBVIG|}   &.C.|
|00000190| 20 54 2e 20 48 7b 5c 73 | 63 20 41 59 4e 45 53 7d | T. H{\s|c AYNES}|
|000001a0| 20 20 20 26 0a 47 2e 20 | 4a 2e 20 52 7b 5c 73 63 |   &.G. |J. R{\sc|
|000001b0| 20 4f 5a 41 53 7d 20 20 | 20 20 5c 5c 0a 4e 2e 20 | OZAS}  |  \\.N. |
|000001c0| 49 2e 20 41 7b 5c 73 63 | 20 44 41 4d 53 20 49 56 |I. A{\sc| DAMS IV|
|000001d0| 7d 20 26 0a 44 2e 20 50 | 2e 20 46 7b 5c 73 63 20 |} &.D. P|. F{\sc |
|000001e0| 52 49 45 44 4d 41 4e 7d | 20 26 0a 45 2e 20 4b 7b |RIEDMAN}| &.E. K{|
|000001f0| 5c 73 63 20 4f 48 4c 42 | 45 43 4b 45 52 7d 20 20 |\sc OHLB|ECKER}  |
|00000200| 26 0a 47 2e 20 4c 2e 20 | 53 7b 5c 73 63 20 54 45 |&.G. L. |S{\sc TE|
|00000210| 45 4c 45 7d 20 4a 7b 5c | 73 63 20 52 7d 2e 20 5c |ELE} J{\|sc R}. \|
|00000220| 5c 0a 44 2e 20 48 2e 20 | 42 7b 5c 73 63 20 41 52 |\.D. H. |B{\sc AR|
|00000230| 54 4c 45 59 7d 20 20 26 | 0a 52 2e 20 48 7b 5c 73 |TLEY}  &|.R. H{\s|
|00000240| 63 20 41 4c 53 54 45 41 | 44 7d 20 20 20 20 26 0a |c ALSTEA|D}    &.|
|00000250| 44 2e 20 4f 7b 5c 73 63 | 20 58 4c 45 59 7d 09 20 |D. O{\sc| XLEY}. |
|00000260| 20 20 20 20 26 0a 47 2e | 20 4a 2e 20 53 7b 5c 73 |    &.G.| J. S{\s|
|00000270| 63 20 55 53 53 4d 41 4e | 7d 20 20 5c 5c 0a 47 2e |c USSMAN|}  \\.G.|
|00000280| 20 42 7b 5c 73 63 20 52 | 4f 4f 4b 53 7d 09 20 20 | B{\sc R|OOKS}.  |
|00000290| 20 20 20 26 0a 43 2e 20 | 48 7b 5c 73 63 20 41 4e |   &.C. |H{\sc AN|
|000002a0| 53 4f 4e 7d 09 20 20 20 | 20 20 26 0a 4b 2e 20 4d |SON}.   |  &.K. M|
|000002b0| 2e 20 50 7b 5c 73 63 20 | 49 54 4d 41 4e 7d 20 20 |. P{\sc |ITMAN}  |
|000002c0| 20 26 0a 4d 2e 20 57 7b | 5c 73 63 20 41 4e 44 7d | &.M. W{|\sc AND}|
|000002d0| 09 20 20 20 20 20 5c 5c | 0a 5c 65 6e 64 7b 74 61 |.     \\|.\end{ta|
|000002e0| 62 75 6c 61 72 7d 0a 24 | 24 0a 5c 76 73 6b 69 70 |bular}.$|$.\vskip|
|000002f0| 20 32 65 78 0a 7b 5c 69 | 74 20 44 65 64 69 63 61 | 2ex.{\i|t Dedica|
|00000300| 74 65 64 20 74 6f 20 74 | 68 65 20 4d 65 6d 6f 72 |ted to t|he Memor|
|00000310| 79 20 6f 66 20 41 4c 47 | 4f 4c 20 36 30 7d 0a 5c |y of ALG|OL 60}.\|
|00000320| 76 73 6b 69 70 20 32 2e | 36 65 78 0a 5c 65 6e 64 |vskip 2.|6ex.\end|
|00000330| 7b 63 65 6e 74 65 72 7d | 0a 7d 5d 0a 0a 5c 63 68 |{center}|.}]..\ch|
|00000340| 61 70 74 65 72 2a 7b 53 | 75 6d 6d 61 72 79 7d 0a |apter*{S|ummary}.|
|00000350| 0a 54 68 65 20 72 65 70 | 6f 72 74 20 67 69 76 65 |.The rep|ort give|
|00000360| 73 20 61 20 64 65 66 69 | 6e 69 6e 67 20 64 65 73 |s a defi|ning des|
|00000370| 63 72 69 70 74 69 6f 6e | 20 6f 66 20 74 68 65 20 |cription| of the |
|00000380| 70 72 6f 67 72 61 6d 6d | 69 6e 67 20 6c 61 6e 67 |programm|ing lang|
|00000390| 75 61 67 65 0a 53 63 68 | 65 6d 65 2e 20 20 53 63 |uage.Sch|eme.  Sc|
|000003a0| 68 65 6d 65 20 69 73 20 | 61 20 73 74 61 74 69 63 |heme is |a static|
|000003b0| 61 6c 6c 79 20 73 63 6f | 70 65 64 20 61 6e 64 20 |ally sco|ped and |
|000003c0| 70 72 6f 70 65 72 6c 79 | 20 74 61 69 6c 2d 72 65 |properly| tail-re|
|000003d0| 63 75 72 73 69 76 65 0a | 64 69 61 6c 65 63 74 20 |cursive.|dialect |
|000003e0| 6f 66 20 74 68 65 20 4c | 69 73 70 20 70 72 6f 67 |of the L|isp prog|
|000003f0| 72 61 6d 6d 69 6e 67 20 | 6c 61 6e 67 75 61 67 65 |ramming |language|
|00000400| 20 69 6e 76 65 6e 74 65 | 64 20 62 79 20 47 75 79 | invente|d by Guy|
|00000410| 20 4c 65 77 69 73 0a 53 | 74 65 65 6c 65 7e 4a 72 | Lewis.S|teele~Jr|
|00000420| 2e 5c 20 61 6e 64 20 47 | 65 72 61 6c 64 20 4a 61 |.\ and G|erald Ja|
|00000430| 79 7e 53 75 73 73 6d 61 | 6e 2e 20 20 49 74 20 77 |y~Sussma|n.  It w|
|00000440| 61 73 20 64 65 73 69 67 | 6e 65 64 20 74 6f 20 68 |as desig|ned to h|
|00000450| 61 76 65 20 61 6e 0a 65 | 78 63 65 70 74 69 6f 6e |ave an.e|xception|
|00000460| 61 6c 6c 79 20 63 6c 65 | 61 72 20 61 6e 64 20 73 |ally cle|ar and s|
|00000470| 69 6d 70 6c 65 20 73 65 | 6d 61 6e 74 69 63 73 20 |imple se|mantics |
|00000480| 61 6e 64 20 66 65 77 20 | 64 69 66 66 65 72 65 6e |and few |differen|
|00000490| 74 20 77 61 79 73 20 74 | 6f 0a 66 6f 72 6d 20 65 |t ways t|o.form e|
|000004a0| 78 70 72 65 73 73 69 6f | 6e 73 2e 20 20 41 20 77 |xpressio|ns.  A w|
|000004b0| 69 64 65 20 76 61 72 69 | 65 74 79 20 6f 66 20 70 |ide vari|ety of p|
|000004c0| 72 6f 67 72 61 6d 6d 69 | 6e 67 20 70 61 72 61 64 |rogrammi|ng parad|
|000004d0| 69 67 6d 73 2c 20 69 6e | 63 6c 75 64 69 6e 67 0a |igms, in|cluding.|
|000004e0| 69 6d 70 65 72 61 74 69 | 76 65 2c 20 66 75 6e 63 |imperati|ve, func|
|000004f0| 74 69 6f 6e 61 6c 2c 20 | 61 6e 64 20 6d 65 73 73 |tional, |and mess|
|00000500| 61 67 65 20 70 61 73 73 | 69 6e 67 20 73 74 79 6c |age pass|ing styl|
|00000510| 65 73 2c 20 66 69 6e 64 | 20 63 6f 6e 76 65 6e 69 |es, find| conveni|
|00000520| 65 6e 74 0a 65 78 70 72 | 65 73 73 69 6f 6e 20 69 |ent.expr|ession i|
|00000530| 6e 20 53 63 68 65 6d 65 | 2e 0a 0a 5c 76 65 73 74 |n Scheme|...\vest|
|00000540| 20 54 68 65 20 69 6e 74 | 72 6f 64 75 63 74 69 6f | The int|roductio|
|00000550| 6e 20 6f 66 66 65 72 73 | 20 61 20 62 72 69 65 66 |n offers| a brief|
|00000560| 20 68 69 73 74 6f 72 79 | 20 6f 66 20 74 68 65 20 | history| of the |
|00000570| 6c 61 6e 67 75 61 67 65 | 20 61 6e 64 20 6f 66 0a |language| and of.|
|00000580| 74 68 65 20 72 65 70 6f | 72 74 2e 0a 0a 5c 76 65 |the repo|rt...\ve|
|00000590| 73 74 20 54 68 65 20 66 | 69 72 73 74 20 74 68 72 |st The f|irst thr|
|000005a0| 65 65 20 63 68 61 70 74 | 65 72 73 20 70 72 65 73 |ee chapt|ers pres|
|000005b0| 65 6e 74 20 74 68 65 20 | 66 75 6e 64 61 6d 65 6e |ent the |fundamen|
|000005c0| 74 61 6c 20 69 64 65 61 | 73 20 6f 66 20 74 68 65 |tal idea|s of the|
|000005d0| 0a 6c 61 6e 67 75 61 67 | 65 20 61 6e 64 20 64 65 |.languag|e and de|
|000005e0| 73 63 72 69 62 65 20 74 | 68 65 20 6e 6f 74 61 74 |scribe t|he notat|
|000005f0| 69 6f 6e 61 6c 20 63 6f | 6e 76 65 6e 74 69 6f 6e |ional co|nvention|
|00000600| 73 20 75 73 65 64 20 66 | 6f 72 20 64 65 73 63 72 |s used f|or descr|
|00000610| 69 62 69 6e 67 20 74 68 | 65 0a 6c 61 6e 67 75 61 |ibing th|e.langua|
|00000620| 67 65 20 61 6e 64 20 66 | 6f 72 20 77 72 69 74 69 |ge and f|or writi|
|00000630| 6e 67 20 70 72 6f 67 72 | 61 6d 73 20 69 6e 20 74 |ng progr|ams in t|
|00000640| 68 65 20 6c 61 6e 67 75 | 61 67 65 2e 0a 0a 5c 76 |he langu|age...\v|
|00000650| 65 73 74 20 43 68 61 70 | 74 65 72 73 7e 5c 72 65 |est Chap|ters~\re|
|00000660| 66 7b 65 78 70 72 65 73 | 73 69 6f 6e 63 68 61 70 |f{expres|sionchap|
|00000670| 74 65 72 7d 20 61 6e 64 | 7e 5c 72 65 66 7b 70 72 |ter} and|~\ref{pr|
|00000680| 6f 67 72 61 6d 63 68 61 | 70 74 65 72 7d 20 64 65 |ogramcha|pter} de|
|00000690| 73 63 72 69 62 65 0a 74 | 68 65 20 73 79 6e 74 61 |scribe.t|he synta|
|000006a0| 78 20 61 6e 64 20 73 65 | 6d 61 6e 74 69 63 73 20 |x and se|mantics |
|000006b0| 6f 66 20 65 78 70 72 65 | 73 73 69 6f 6e 73 2c 20 |of expre|ssions, |
|000006c0| 70 72 6f 67 72 61 6d 73 | 2c 20 61 6e 64 20 64 65 |programs|, and de|
|000006d0| 66 69 6e 69 74 69 6f 6e | 73 2e 0a 0a 5c 76 65 73 |finition|s...\ves|
|000006e0| 74 20 43 68 61 70 74 65 | 72 7e 5c 72 65 66 7b 62 |t Chapte|r~\ref{b|
|000006f0| 75 69 6c 74 69 6e 63 68 | 61 70 74 65 72 7d 20 64 |uiltinch|apter} d|
|00000700| 65 73 63 72 69 62 65 73 | 20 53 63 68 65 6d 65 27 |escribes| Scheme'|
|00000710| 73 20 62 75 69 6c 74 2d | 69 6e 0a 70 72 6f 63 65 |s built-|in.proce|
|00000720| 64 75 72 65 73 2c 20 77 | 68 69 63 68 20 69 6e 63 |dures, w|hich inc|
|00000730| 6c 75 64 65 20 61 6c 6c | 20 6f 66 20 74 68 65 20 |lude all| of the |
|00000740| 6c 61 6e 67 75 61 67 65 | 27 73 20 64 61 74 61 20 |language|'s data |
|00000750| 6d 61 6e 69 70 75 6c 61 | 74 69 6f 6e 20 61 6e 64 |manipula|tion and|
|00000760| 0a 69 6e 70 75 74 2f 6f | 75 74 70 75 74 20 70 72 |.input/o|utput pr|
|00000770| 69 6d 69 74 69 76 65 73 | 2e 0a 0a 5c 76 65 73 74 |imitives|...\vest|
|00000780| 20 43 68 61 70 74 65 72 | 7e 5c 72 65 66 7b 66 6f | Chapter|~\ref{fo|
|00000790| 72 6d 61 6c 63 68 61 70 | 74 65 72 7d 20 70 72 6f |rmalchap|ter} pro|
|000007a0| 76 69 64 65 73 20 61 20 | 66 6f 72 6d 61 6c 20 73 |vides a |formal s|
|000007b0| 79 6e 74 61 78 20 66 6f | 72 20 53 63 68 65 6d 65 |yntax fo|r Scheme|
|000007c0| 0a 77 72 69 74 74 65 6e | 20 69 6e 20 65 78 74 65 |.written| in exte|
|000007d0| 6e 64 65 64 20 42 4e 46 | 2c 20 61 6c 6f 6e 67 20 |nded BNF|, along |
|000007e0| 77 69 74 68 20 61 20 66 | 6f 72 6d 61 6c 20 64 65 |with a f|ormal de|
|000007f0| 6e 6f 74 61 74 69 6f 6e | 61 6c 20 73 65 6d 61 6e |notation|al seman|
|00000800| 74 69 63 73 2e 0a 41 6e | 20 65 78 61 6d 70 6c 65 |tics..An| example|
|00000810| 20 6f 66 20 74 68 65 20 | 75 73 65 20 6f 66 20 74 | of the |use of t|
|00000820| 68 65 20 6c 61 6e 67 75 | 61 67 65 20 66 6f 6c 6c |he langu|age foll|
|00000830| 6f 77 73 20 74 68 65 20 | 66 6f 72 6d 61 6c 20 73 |ows the |formal s|
|00000840| 79 6e 74 61 78 20 61 6e | 64 0a 73 65 6d 61 6e 74 |yntax an|d.semant|
|00000850| 69 63 73 2e 0a 0a 5c 76 | 65 73 74 20 54 68 65 20 |ics...\v|est The |
|00000860| 61 70 70 65 6e 64 69 78 | 20 64 65 73 63 72 69 62 |appendix| describ|
|00000870| 65 73 20 61 20 6d 61 63 | 72 6f 20 66 61 63 69 6c |es a mac|ro facil|
|00000880| 69 74 79 20 74 68 61 74 | 20 6d 61 79 20 62 65 20 |ity that| may be |
|00000890| 75 73 65 64 20 74 6f 0a | 65 78 74 65 6e 64 20 74 |used to.|extend t|
|000008a0| 68 65 20 73 79 6e 74 61 | 78 20 6f 66 20 53 63 68 |he synta|x of Sch|
|000008b0| 65 6d 65 2e 0a 0a 5c 76 | 65 73 74 20 54 68 65 20 |eme...\v|est The |
|000008c0| 72 65 70 6f 72 74 20 63 | 6f 6e 63 6c 75 64 65 73 |report c|oncludes|
|000008d0| 20 77 69 74 68 20 61 20 | 62 69 62 6c 69 6f 67 72 | with a |bibliogr|
|000008e0| 61 70 68 79 20 61 6e 64 | 20 61 6e 0a 61 6c 70 68 |aphy and| an.alph|
|000008f0| 61 62 65 74 69 63 20 69 | 6e 64 65 78 2e 0a 0a 5c |abetic i|ndex...\|
|00000900| 74 6f 64 6f 7b 65 78 70 | 61 6e 64 20 74 68 65 20 |todo{exp|and the |
|00000910| 73 75 6d 6d 61 72 79 20 | 73 6f 20 74 68 61 74 20 |summary |so that |
|00000920| 69 74 20 66 69 6c 6c 73 | 20 75 70 20 74 68 65 20 |it fills| up the |
|00000930| 63 6f 6c 75 6d 6e 2e 7d | 0a 0a 25 5c 76 66 69 6c |column.}|..%\vfil|
|00000940| 6c 0a 25 5c 62 65 67 69 | 6e 7b 63 65 6e 74 65 72 |l.%\begi|n{center|
|00000950| 7d 0a 25 7b 5c 6c 61 72 | 67 65 20 5c 62 66 0a 25 |}.%{\lar|ge \bf.%|
|00000960| 2a 2a 2a 20 44 52 41 46 | 54 2a 2a 2a 20 5c 5c 0a |*** DRAF|T*** \\.|
|00000970| 25 41 75 67 75 73 74 20 | 33 31 2c 20 31 39 38 39 |%August |31, 1989|
|00000980| 25 5c 74 6f 64 61 79 0a | 25 7d 5c 65 6e 64 7b 63 |%\today.|%}\end{c|
|00000990| 65 6e 74 65 72 7d 0a 0a | 5c 76 66 69 6c 6c 0a 5c |enter}..|\vfill.\|
|000009a0| 65 6a 65 63 74 0a 0a 7b | 5c 66 6f 6f 74 6e 6f 74 |eject..{|\footnot|
|000009b0| 65 73 69 7a 65 0a 5c 74 | 61 62 6c 65 6f 66 63 6f |esize.\t|ableofco|
|000009c0| 6e 74 65 6e 74 73 0a 7d | 0a 0a 5c 76 66 69 6c 6c |ntents.}|..\vfill|
|000009d0| 0a 5c 65 6a 65 63 74 0a |                         |.\eject.|        |
+--------+-------------------------+-------------------------+--------+--------+