/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / scheme / schmrprt / r399rs.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 33 2e 39 39 7d 24 20 |ed$^{\bf| 3.99}$ |
|00000080| 52 65 70 6f 72 74 20 6f | 6e 20 74 68 65 20 41 6c |Report o|n the Al|
|00000090| 67 6f 72 69 74 68 6d 69 | 63 20 4c 61 6e 67 75 61 |gorithmi|c Langua|
|000000a0| 67 65 20 5c 5c 0a 09 09 | 09 20 20 20 20 20 20 5c |ge \\...|.      \|
|000000b0| 76 73 6b 69 70 20 33 70 | 74 0a 09 09 09 09 53 63 |vskip 3p|t.....Sc|
|000000c0| 68 65 6d 65 7d 0a 5c 76 | 73 6b 69 70 20 31 65 78 |heme}.\v|skip 1ex|
|000000d0| 0a 24 24 0a 5c 62 65 67 | 69 6e 7b 74 61 62 75 6c |.$$.\beg|in{tabul|
|000000e0| 61 72 7d 7b 6c 40 7b 5c | 65 78 74 72 61 63 6f 6c |ar}{l@{\|extracol|
|000000f0| 73 65 70 7b 2e 35 69 6e | 7d 7d 6c 6c 6c 7d 0a 5c |sep{.5in|}}lll}.\|
|00000100| 6d 75 6c 74 69 63 6f 6c | 75 6d 6e 7b 34 7d 7b 63 |multicol|umn{4}{c|
|00000110| 7d 7b 57 7b 5c 73 63 20 | 49 4c 4c 49 41 4d 7d 20 |}{W{\sc |ILLIAM} |
|00000120| 43 7b 5c 73 63 20 4c 49 | 4e 47 45 52 20 41 4e 44 |C{\sc LI|NGER AND|
|00000130| 7d 20 4a 7b 5c 73 63 20 | 4f 4e 41 54 48 41 4e 7d |} J{\sc |ONATHAN}|
|00000140| 20 52 7b 5c 73 63 20 45 | 45 53 7d 0a 20 28 7b 5c | R{\sc E|ES}. ({\|
|00000150| 69 74 20 45 64 69 74 6f | 72 73 5c 2f 7d 29 7d 20 |it Edito|rs\/})} |
|00000160| 5c 5c 0a 48 2e 20 41 7b | 5c 73 63 20 42 45 4c 53 |\\.H. A{|\sc BELS|
|00000170| 4f 4e 7d 20 20 20 20 20 | 26 0a 52 2e 20 4b 2e 20 |ON}     |&.R. K. |
|00000180| 44 7b 5c 73 63 20 59 42 | 56 49 47 7d 20 20 20 26 |D{\sc YB|VIG}   &|
|00000190| 0a 43 2e 20 54 2e 20 48 | 7b 5c 73 63 20 41 59 4e |.C. T. H|{\sc AYN|
|000001a0| 45 53 7d 20 20 20 26 0a | 47 2e 20 4a 2e 20 52 7b |ES}   &.|G. J. R{|
|000001b0| 5c 73 63 20 4f 5a 41 53 | 7d 20 20 20 20 5c 5c 0a |\sc OZAS|}    \\.|
|000001c0| 4e 2e 20 49 2e 20 41 7b | 5c 73 63 20 44 41 4d 53 |N. I. A{|\sc DAMS|
|000001d0| 20 49 56 7d 20 26 0a 44 | 2e 20 50 2e 20 46 7b 5c | IV} &.D|. P. F{\|
|000001e0| 73 63 20 52 49 45 44 4d | 41 4e 7d 20 26 0a 45 2e |sc RIEDM|AN} &.E.|
|000001f0| 20 4b 7b 5c 73 63 20 4f | 48 4c 42 45 43 4b 45 52 | K{\sc O|HLBECKER|
|00000200| 7d 20 20 26 0a 47 2e 20 | 4c 2e 20 53 7b 5c 73 63 |}  &.G. |L. S{\sc|
|00000210| 20 54 45 45 4c 45 7d 20 | 4a 7b 5c 73 63 20 52 7d | TEELE} |J{\sc R}|
|00000220| 2e 20 5c 5c 0a 44 2e 20 | 48 2e 20 42 7b 5c 73 63 |. \\.D. |H. B{\sc|
|00000230| 20 41 52 54 4c 45 59 7d | 20 20 26 0a 52 2e 20 48 | ARTLEY}|  &.R. H|
|00000240| 7b 5c 73 63 20 41 4c 53 | 54 45 41 44 7d 20 20 20 |{\sc ALS|TEAD}   |
|00000250| 20 26 0a 44 2e 20 4f 7b | 5c 73 63 20 58 4c 45 59 | &.D. O{|\sc XLEY|
|00000260| 7d 09 20 20 20 20 20 26 | 0a 47 2e 20 4a 2e 20 53 |}.     &|.G. J. S|
|00000270| 7b 5c 73 63 20 55 53 53 | 4d 41 4e 7d 20 20 5c 5c |{\sc USS|MAN}  \\|
|00000280| 0a 47 2e 20 42 7b 5c 73 | 63 20 52 4f 4f 4b 53 7d |.G. B{\s|c ROOKS}|
|00000290| 09 20 20 20 20 20 26 0a | 43 2e 20 48 7b 5c 73 63 |.     &.|C. H{\sc|
|000002a0| 20 41 4e 53 4f 4e 7d 09 | 20 20 20 20 20 26 0a 4b | ANSON}.|     &.K|
|000002b0| 2e 20 4d 2e 20 50 7b 5c | 73 63 20 49 54 4d 41 4e |. M. P{\|sc ITMAN|
|000002c0| 7d 20 20 20 26 0a 4d 2e | 20 57 7b 5c 73 63 20 41 |}   &.M.| W{\sc A|
|000002d0| 4e 44 7d 09 20 20 20 20 | 20 5c 5c 0a 5c 65 6e 64 |ND}.    | \\.\end|
|000002e0| 7b 74 61 62 75 6c 61 72 | 7d 0a 24 24 0a 5c 76 73 |{tabular|}.$$.\vs|
|000002f0| 6b 69 70 20 32 65 78 0a | 7b 5c 69 74 20 44 65 64 |kip 2ex.|{\it Ded|
|00000300| 69 63 61 74 65 64 20 74 | 6f 20 74 68 65 20 4d 65 |icated t|o the Me|
|00000310| 6d 6f 72 79 20 6f 66 20 | 41 4c 47 4f 4c 20 36 30 |mory of |ALGOL 60|
|00000320| 7d 0a 5c 76 73 6b 69 70 | 20 32 2e 36 65 78 0a 5c |}.\vskip| 2.6ex.\|
|00000330| 65 6e 64 7b 63 65 6e 74 | 65 72 7d 0a 7d 5d 0a 0a |end{cent|er}.}]..|
|00000340| 5c 63 68 61 70 74 65 72 | 2a 7b 53 75 6d 6d 61 72 |\chapter|*{Summar|
|00000350| 79 7d 0a 0a 54 68 65 20 | 72 65 70 6f 72 74 20 67 |y}..The |report g|
|00000360| 69 76 65 73 20 61 20 64 | 65 66 69 6e 69 6e 67 20 |ives a d|efining |
|00000370| 64 65 73 63 72 69 70 74 | 69 6f 6e 20 6f 66 20 74 |descript|ion of t|
|00000380| 68 65 20 70 72 6f 67 72 | 61 6d 6d 69 6e 67 20 6c |he progr|amming l|
|00000390| 61 6e 67 75 61 67 65 0a | 53 63 68 65 6d 65 2e 20 |anguage.|Scheme. |
|000003a0| 20 53 63 68 65 6d 65 20 | 69 73 20 61 20 73 74 61 | Scheme |is a sta|
|000003b0| 74 69 63 61 6c 6c 79 20 | 73 63 6f 70 65 64 20 61 |tically |scoped a|
|000003c0| 6e 64 20 70 72 6f 70 65 | 72 6c 79 20 74 61 69 6c |nd prope|rly tail|
|000003d0| 2d 72 65 63 75 72 73 69 | 76 65 0a 64 69 61 6c 65 |-recursi|ve.diale|
|000003e0| 63 74 20 6f 66 20 74 68 | 65 20 4c 69 73 70 20 70 |ct of th|e Lisp p|
|000003f0| 72 6f 67 72 61 6d 6d 69 | 6e 67 20 6c 61 6e 67 75 |rogrammi|ng langu|
|00000400| 61 67 65 20 69 6e 76 65 | 6e 74 65 64 20 62 79 20 |age inve|nted by |
|00000410| 47 75 79 20 4c 65 77 69 | 73 0a 53 74 65 65 6c 65 |Guy Lewi|s.Steele|
|00000420| 7e 4a 72 2e 5c 20 61 6e | 64 20 47 65 72 61 6c 64 |~Jr.\ an|d Gerald|
|00000430| 20 4a 61 79 7e 53 75 73 | 73 6d 61 6e 2e 20 20 49 | Jay~Sus|sman.  I|
|00000440| 74 20 77 61 73 20 64 65 | 73 69 67 6e 65 64 20 74 |t was de|signed t|
|00000450| 6f 20 68 61 76 65 20 61 | 6e 0a 65 78 63 65 70 74 |o have a|n.except|
|00000460| 69 6f 6e 61 6c 6c 79 20 | 63 6c 65 61 72 20 61 6e |ionally |clear an|
|00000470| 64 20 73 69 6d 70 6c 65 | 20 73 65 6d 61 6e 74 69 |d simple| semanti|
|00000480| 63 73 20 61 6e 64 20 66 | 65 77 20 64 69 66 66 65 |cs and f|ew diffe|
|00000490| 72 65 6e 74 20 77 61 79 | 73 20 74 6f 0a 66 6f 72 |rent way|s to.for|
|000004a0| 6d 20 65 78 70 72 65 73 | 73 69 6f 6e 73 2e 20 20 |m expres|sions.  |
|000004b0| 41 20 77 69 64 65 20 76 | 61 72 69 65 74 79 20 6f |A wide v|ariety o|
|000004c0| 66 20 70 72 6f 67 72 61 | 6d 6d 69 6e 67 20 70 61 |f progra|mming pa|
|000004d0| 72 61 64 69 67 6d 73 2c | 20 69 6e 63 6c 75 64 69 |radigms,| includi|
|000004e0| 6e 67 0a 69 6d 70 65 72 | 61 74 69 76 65 2c 20 66 |ng.imper|ative, f|
|000004f0| 75 6e 63 74 69 6f 6e 61 | 6c 2c 20 61 6e 64 20 6d |unctiona|l, and m|
|00000500| 65 73 73 61 67 65 20 70 | 61 73 73 69 6e 67 20 73 |essage p|assing s|
|00000510| 74 79 6c 65 73 2c 20 66 | 69 6e 64 20 63 6f 6e 76 |tyles, f|ind conv|
|00000520| 65 6e 69 65 6e 74 0a 65 | 78 70 72 65 73 73 69 6f |enient.e|xpressio|
|00000530| 6e 20 69 6e 20 53 63 68 | 65 6d 65 2e 0a 0a 5c 76 |n in Sch|eme...\v|
|00000540| 65 73 74 20 54 68 65 20 | 69 6e 74 72 6f 64 75 63 |est The |introduc|
|00000550| 74 69 6f 6e 20 6f 66 66 | 65 72 73 20 61 20 62 72 |tion off|ers a br|
|00000560| 69 65 66 20 68 69 73 74 | 6f 72 79 20 6f 66 20 74 |ief hist|ory of t|
|00000570| 68 65 20 6c 61 6e 67 75 | 61 67 65 20 61 6e 64 20 |he langu|age and |
|00000580| 6f 66 0a 74 68 65 20 72 | 65 70 6f 72 74 2e 0a 0a |of.the r|eport...|
|00000590| 5c 76 65 73 74 20 54 68 | 65 20 66 69 72 73 74 20 |\vest Th|e first |
|000005a0| 74 68 72 65 65 20 63 68 | 61 70 74 65 72 73 20 70 |three ch|apters p|
|000005b0| 72 65 73 65 6e 74 20 74 | 68 65 20 66 75 6e 64 61 |resent t|he funda|
|000005c0| 6d 65 6e 74 61 6c 20 69 | 64 65 61 73 20 6f 66 20 |mental i|deas of |
|000005d0| 74 68 65 0a 6c 61 6e 67 | 75 61 67 65 20 61 6e 64 |the.lang|uage and|
|000005e0| 20 64 65 73 63 72 69 62 | 65 20 74 68 65 20 6e 6f | describ|e the no|
|000005f0| 74 61 74 69 6f 6e 61 6c | 20 63 6f 6e 76 65 6e 74 |tational| convent|
|00000600| 69 6f 6e 73 20 75 73 65 | 64 20 66 6f 72 20 64 65 |ions use|d for de|
|00000610| 73 63 72 69 62 69 6e 67 | 20 74 68 65 0a 6c 61 6e |scribing| the.lan|
|00000620| 67 75 61 67 65 20 61 6e | 64 20 66 6f 72 20 77 72 |guage an|d for wr|
|00000630| 69 74 69 6e 67 20 70 72 | 6f 67 72 61 6d 73 20 69 |iting pr|ograms i|
|00000640| 6e 20 74 68 65 20 6c 61 | 6e 67 75 61 67 65 2e 0a |n the la|nguage..|
|00000650| 0a 5c 76 65 73 74 20 43 | 68 61 70 74 65 72 73 7e |.\vest C|hapters~|
|00000660| 5c 72 65 66 7b 65 78 70 | 72 65 73 73 69 6f 6e 63 |\ref{exp|ressionc|
|00000670| 68 61 70 74 65 72 7d 20 | 61 6e 64 7e 5c 72 65 66 |hapter} |and~\ref|
|00000680| 7b 70 72 6f 67 72 61 6d | 63 68 61 70 74 65 72 7d |{program|chapter}|
|00000690| 20 64 65 73 63 72 69 62 | 65 0a 74 68 65 20 73 79 | describ|e.the sy|
|000006a0| 6e 74 61 78 20 61 6e 64 | 20 73 65 6d 61 6e 74 69 |ntax and| semanti|
|000006b0| 63 73 20 6f 66 20 65 78 | 70 72 65 73 73 69 6f 6e |cs of ex|pression|
|000006c0| 73 2c 20 70 72 6f 67 72 | 61 6d 73 2c 20 61 6e 64 |s, progr|ams, and|
|000006d0| 20 64 65 66 69 6e 69 74 | 69 6f 6e 73 2e 0a 0a 5c | definit|ions...\|
|000006e0| 76 65 73 74 20 43 68 61 | 70 74 65 72 7e 5c 72 65 |vest Cha|pter~\re|
|000006f0| 66 7b 62 75 69 6c 74 69 | 6e 63 68 61 70 74 65 72 |f{builti|nchapter|
|00000700| 7d 20 64 65 73 63 72 69 | 62 65 73 20 53 63 68 65 |} descri|bes Sche|
|00000710| 6d 65 27 73 20 62 75 69 | 6c 74 2d 69 6e 0a 70 72 |me's bui|lt-in.pr|
|00000720| 6f 63 65 64 75 72 65 73 | 2c 20 77 68 69 63 68 20 |ocedures|, which |
|00000730| 69 6e 63 6c 75 64 65 20 | 61 6c 6c 20 6f 66 20 74 |include |all of t|
|00000740| 68 65 20 6c 61 6e 67 75 | 61 67 65 27 73 20 64 61 |he langu|age's da|
|00000750| 74 61 20 6d 61 6e 69 70 | 75 6c 61 74 69 6f 6e 20 |ta manip|ulation |
|00000760| 61 6e 64 0a 69 6e 70 75 | 74 2f 6f 75 74 70 75 74 |and.inpu|t/output|
|00000770| 20 70 72 69 6d 69 74 69 | 76 65 73 2e 0a 0a 5c 76 | primiti|ves...\v|
|00000780| 65 73 74 20 43 68 61 70 | 74 65 72 7e 5c 72 65 66 |est Chap|ter~\ref|
|00000790| 7b 66 6f 72 6d 61 6c 63 | 68 61 70 74 65 72 7d 20 |{formalc|hapter} |
|000007a0| 70 72 6f 76 69 64 65 73 | 20 61 20 66 6f 72 6d 61 |provides| a forma|
|000007b0| 6c 20 73 79 6e 74 61 78 | 20 66 6f 72 20 53 63 68 |l syntax| for Sch|
|000007c0| 65 6d 65 0a 77 72 69 74 | 74 65 6e 20 69 6e 20 65 |eme.writ|ten in e|
|000007d0| 78 74 65 6e 64 65 64 20 | 42 4e 46 2c 20 61 6c 6f |xtended |BNF, alo|
|000007e0| 6e 67 20 77 69 74 68 20 | 61 20 66 6f 72 6d 61 6c |ng with |a formal|
|000007f0| 20 64 65 6e 6f 74 61 74 | 69 6f 6e 61 6c 20 73 65 | denotat|ional se|
|00000800| 6d 61 6e 74 69 63 73 2e | 0a 0a 5c 76 65 73 74 20 |mantics.|..\vest |
|00000810| 54 68 65 20 72 65 70 6f | 72 74 20 63 6f 6e 63 6c |The repo|rt concl|
|00000820| 75 64 65 73 20 77 69 74 | 68 20 61 6e 20 65 78 61 |udes wit|h an exa|
|00000830| 6d 70 6c 65 20 6f 66 20 | 74 68 65 20 75 73 65 20 |mple of |the use |
|00000840| 6f 66 20 74 68 65 20 6c | 61 6e 67 75 61 67 65 20 |of the l|anguage |
|00000850| 61 6e 64 20 61 6e 0a 61 | 6c 70 68 61 62 65 74 69 |and an.a|lphabeti|
|00000860| 63 20 69 6e 64 65 78 2e | 0a 0a 5c 74 6f 64 6f 7b |c index.|..\todo{|
|00000870| 65 78 70 61 6e 64 20 74 | 68 65 20 73 75 6d 6d 61 |expand t|he summa|
|00000880| 72 79 20 73 6f 20 74 68 | 61 74 20 69 74 20 66 69 |ry so th|at it fi|
|00000890| 6c 6c 73 20 75 70 20 74 | 68 65 20 63 6f 6c 75 6d |lls up t|he colum|
|000008a0| 6e 2e 7d 0a 0a 5c 76 66 | 69 6c 6c 0a 5c 62 65 67 |n.}..\vf|ill.\beg|
|000008b0| 69 6e 7b 63 65 6e 74 65 | 72 7d 0a 7b 5c 6c 61 72 |in{cente|r}.{\lar|
|000008c0| 67 65 20 5c 62 66 0a 2a | 2a 2a 20 44 52 41 46 54 |ge \bf.*|** DRAFT|
|000008d0| 2a 2a 2a 20 5c 5c 0a 41 | 75 67 75 73 74 20 33 31 |*** \\.A|ugust 31|
|000008e0| 2c 20 31 39 38 39 25 5c | 74 6f 64 61 79 0a 7d 5c |, 1989%\|today.}\|
|000008f0| 65 6e 64 7b 63 65 6e 74 | 65 72 7d 0a 0a 5c 76 66 |end{cent|er}..\vf|
|00000900| 69 6c 6c 0a 5c 65 6a 65 | 63 74 0a 0a 7b 5c 66 6f |ill.\eje|ct..{\fo|
|00000910| 6f 74 6e 6f 74 65 73 69 | 7a 65 0a 5c 74 61 62 6c |otnotesi|ze.\tabl|
|00000920| 65 6f 66 63 6f 6e 74 65 | 6e 74 73 0a 7d 0a 0a 5c |eofconte|nts.}..\|
|00000930| 76 66 69 6c 6c 0a 5c 65 | 6a 65 63 74 0a          |vfill.\e|ject.   |
+--------+-------------------------+-------------------------+--------+--------+