|
DataMuseum.dkPresents historical artifacts from the history of: DKUUG/EUUG Conference tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about DKUUG/EUUG Conference tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - downloadIndex: ┃ r ┃
Length: 141434 (0x2287a)
Names: »rrrs.ytex.327«
└─⟦a0efdde77⟧ Bits:30001252 EUUGD11 Tape, 1987 Spring Conference Helsinki
└─ ⟦this⟧ »EUUGD11/gnu-31mar87/scheme/rrrs.ytex.327«
0x00000…00020 25 20 66 6f 72 20 59 54 65 78 0a 5c 74 79 70 65 73 69 7a 65 3d 31 31 70 74 0a 5c 6e 6f 68 65 61 ┆% for YTex \typesize=11pt \nohea┆
0x00020…00040 64 65 72 73 0a 5c 72 75 6e 6e 69 6e 67 68 65 61 64 3d 7b 54 68 65 20 52 65 76 69 73 65 64 20 52 ┆ders \runninghead={The Revised R┆
0x00040…00060 65 76 69 73 65 64 20 52 65 70 6f 72 74 20 6f 6e 20 53 63 68 65 6d 65 7d 0a 0a 5c 76 73 6b 69 70 ┆evised Report on Scheme} \vskip┆
0x00060…00080 20 35 70 63 0a 0a 5c 74 63 65 6e 74 65 72 7b 5c 74 68 65 5c 74 69 74 6c 65 66 6f 6e 74 20 54 68 ┆ 5pc \tcenter{\the\titlefont Th┆
0x00080…000a0 65 20 52 65 76 69 73 65 64 20 52 65 76 69 73 65 64 20 52 65 70 6f 72 74 20 6f 6e 20 53 63 68 65 ┆e Revised Revised Report on Sche┆
0x000a0…000c0 6d 65 7d 0a 0a 5c 76 73 6b 69 70 20 31 70 63 0a 0a 5c 74 63 65 6e 74 65 72 7b 5c 74 68 65 5c 74 ┆me} \vskip 1pc \tcenter{\the\t┆
0x000c0…000e0 69 74 6c 65 66 6f 6e 74 20 6f 72 7d 0a 0a 5c 76 73 6b 69 70 20 31 70 63 0a 0a 5c 74 63 65 6e 74 ┆itlefont or} \vskip 1pc \tcent┆
0x000e0…00100 65 72 7b 5c 74 68 65 5c 74 69 74 6c 65 66 6f 6e 74 20 41 6e 20 55 6e 43 6f 6d 6d 6f 6e 20 4c 69 ┆er{\the\titlefont An UnCommon Li┆
0x00100…00120 73 70 7d 0a 0a 5c 76 73 6b 69 70 20 31 70 63 0a 0a 5c 74 63 65 6e 74 65 72 7b 5c 62 69 67 67 73 ┆sp} \vskip 1pc \tcenter{\biggs┆
0x00120…00140 69 7a 65 5c 72 6d 20 41 75 67 75 73 74 20 31 39 38 35 7d 0a 0a 5c 76 73 6b 69 70 20 31 74 72 75 ┆ize\rm August 1985} \vskip 1tru┆
0x00140…00160 65 69 6e 0a 5c 63 65 6e 74 65 72 6c 69 6e 65 7b 0a 5c 62 65 67 69 6e 74 61 62 6c 65 5b 6c 6c 5d ┆ein \centerline{ \begintable[ll]┆
0x00160…00180 0a 48 61 6c 20 41 62 65 6c 73 6f 6e 26 43 68 72 69 73 20 48 61 79 6e 65 73 5c 63 72 0a 4e 6f 72 ┆ Hal Abelson&Chris Haynes\cr Nor┆
0x00180…001a0 6d 61 6e 20 41 64 61 6d 73 26 45 75 67 65 6e 65 20 4b 6f 68 6c 62 65 63 6b 65 72 5c 63 72 0a 44 ┆man Adams&Eugene Kohlbecker\cr D┆
0x001a0…001c0 61 76 69 64 20 42 61 72 74 6c 65 79 26 44 6f 6e 20 4f 78 6c 65 79 5c 63 72 0a 47 61 72 79 20 42 ┆avid Bartley&Don Oxley\cr Gary B┆
0x001c0…001e0 72 6f 6f 6b 73 26 4b 65 6e 74 20 50 69 74 6d 61 6e 5c 63 72 0a 57 69 6c 6c 69 61 6d 20 43 6c 69 ┆rooks&Kent Pitman\cr William Cli┆
0x001e0…00200 6e 67 65 72 20 5b 65 64 69 74 6f 72 5d 26 4a 6f 6e 61 74 68 61 6e 20 52 65 65 73 5c 63 72 0a 44 ┆nger [editor]&Jonathan Rees\cr D┆
0x00200…00220 61 6e 20 46 72 69 65 64 6d 61 6e 26 42 69 6c 6c 20 52 6f 7a 61 73 5c 63 72 0a 52 6f 62 65 72 74 ┆an Friedman&Bill Rozas\cr Robert┆
0x00220…00240 20 48 61 6c 73 74 65 61 64 26 47 65 72 61 6c 64 20 4a 61 79 20 53 75 73 73 6d 61 6e 5c 63 72 0a ┆ Halstead&Gerald Jay Sussman\cr ┆
0x00240…00260 43 68 72 69 73 20 48 61 6e 73 6f 6e 26 4d 69 74 63 68 65 6c 6c 20 57 61 6e 64 5c 63 72 0a 5c 65 ┆Chris Hanson&Mitchell Wand\cr \e┆
0x00260…00280 6e 64 74 61 62 6c 65 0a 7d 0a 5c 76 73 6b 69 70 20 34 70 63 0a 0a 5c 68 65 61 64 69 6e 67 7b 5c ┆ndtable } \vskip 4pc \heading{\┆
0x00280…002a0 62 66 20 41 62 73 74 72 61 63 74 7d 0a 5c 76 73 6b 69 70 20 31 70 63 0a 5c 76 70 61 72 0a 5c 62 ┆bf Abstract} \vskip 1pc \vpar \b┆
0x002a0…002c0 65 67 69 6e 74 65 78 74 0a 20 20 20 20 20 20 20 44 61 74 61 20 61 6e 64 20 70 72 6f 63 65 64 75 ┆egintext Data and procedu┆
0x002c0…002e0 72 65 73 20 61 6e 64 20 74 68 65 20 76 61 6c 75 65 73 20 74 68 65 79 20 61 6d 61 73 73 2c 0a 20 ┆res and the values they amass, ┆
0x002e0…00300 20 20 20 20 20 20 48 69 67 68 65 72 2d 6f 72 64 65 72 20 66 75 6e 63 74 69 6f 6e 73 20 74 6f 20 ┆ Higher-order functions to ┆
0x00300…00320 63 6f 6d 62 69 6e 65 20 61 6e 64 20 6d 69 78 20 61 6e 64 20 6d 61 74 63 68 2c 0a 20 20 20 20 20 ┆combine and mix and match, ┆
0x00320…00340 20 20 4f 62 6a 65 63 74 73 20 77 69 74 68 20 74 68 65 69 72 20 6c 6f 63 61 6c 20 73 74 61 74 65 ┆ Objects with their local state┆
0x00340…00360 2c 20 74 68 65 20 6d 65 73 73 61 67 65 73 20 74 68 65 79 20 70 61 73 73 2c 0a 20 20 20 20 20 20 ┆, the messages they pass, ┆
0x00360…00380 20 41 20 70 72 6f 70 65 72 74 79 2c 20 61 20 70 61 63 6b 61 67 65 2c 20 74 68 65 20 63 6f 6e 74 ┆ A property, a package, the cont┆
0x00380…003a0 72 6f 6c 20 70 6f 69 6e 74 20 66 6f 72 20 61 20 63 61 74 63 68 2d 2d 2d 0a 20 20 20 20 20 20 20 ┆rol point for a catch--- ┆
0x003a0…003c0 49 6e 20 74 68 65 20 4c 61 6d 62 64 61 20 4f 72 64 65 72 20 74 68 65 79 20 61 72 65 20 61 6c 6c ┆In the Lambda Order they are all┆
0x003c0…003e0 20 66 69 72 73 74 2d 63 6c 61 73 73 2e 0a 20 20 20 20 20 20 20 4f 6e 65 20 54 68 69 6e 67 20 74 ┆ first-class. One Thing t┆
0x003e0…00400 6f 20 6e 61 6d 65 20 74 68 65 6d 20 61 6c 6c 2c 20 4f 6e 65 20 54 68 69 6e 67 20 74 6f 20 64 65 ┆o name them all, One Thing to de┆
0x00400…00420 66 69 6e 65 20 74 68 65 6d 2c 0a 20 20 20 20 20 20 20 4f 6e 65 20 54 68 69 6e 67 20 74 6f 20 70 ┆fine them, One Thing to p┆
0x00420…00440 6c 61 63 65 20 74 68 65 6d 20 69 6e 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 73 20 61 6e 64 20 62 69 ┆lace them in environments and bi┆
0x00440…00460 6e 64 20 74 68 65 6d 2c 0a 20 20 20 20 20 20 20 49 6e 20 74 68 65 20 4c 61 6d 62 64 61 20 4f 72 ┆nd them, In the Lambda Or┆
0x00460…00480 64 65 72 20 74 68 65 79 20 61 72 65 20 61 6c 6c 20 66 69 72 73 74 2d 63 6c 61 73 73 2e 0a 5c 65 ┆der they are all first-class. \e┆
0x00480…004a0 6e 64 74 65 78 74 0a 5c 66 69 6c 70 61 67 65 0a 0a 0a 5c 74 63 65 6e 74 65 72 7b 5c 62 66 20 54 ┆ndtext \filpage \tcenter{\bf T┆
0x004a0…004c0 61 62 6c 65 20 6f 66 20 43 6f 6e 74 65 6e 74 73 7d 0a 20 0a 5c 76 73 6b 69 70 20 32 70 63 0a 0a ┆able of Contents} \vskip 2pc ┆
0x004c0…004e0 5c 76 70 61 72 0a 41 63 6b 6e 6f 77 6c 65 64 67 65 6d 65 6e 74 73 5c 73 70 61 63 65 5c 73 70 61 ┆\vpar Acknowledgements\space\spa┆
0x004e0…00500 63 65 5c 73 70 61 63 65 20 33 0a 5c 76 70 61 72 0a 0a 50 61 72 74 20 49 3a 20 49 6e 74 72 6f 64 ┆ce\space 3 \vpar Part I: Introd┆
0x00500…00520 75 63 74 69 6f 6e 20 74 6f 20 53 63 68 65 6d 65 5c 73 70 61 63 65 5c 73 70 61 63 65 5c 73 70 61 ┆uction to Scheme\space\space\spa┆
0x00520…00540 63 65 20 34 0a 0a 5c 62 65 67 69 6e 74 65 78 74 0a 20 20 20 20 20 49 2e 30 20 20 20 20 20 42 72 ┆ce 4 \begintext I.0 Br┆
0x00540…00560 69 65 66 20 68 69 73 74 6f 72 79 20 6f 66 20 53 63 68 65 6d 65 20 20 20 34 0a 20 20 20 20 20 49 ┆ief history of Scheme 4 I┆
0x00560…00580 2e 31 20 20 20 20 20 53 79 6e 74 61 78 20 6f 66 20 53 63 68 65 6d 65 20 20 20 35 0a 20 20 20 20 ┆.1 Syntax of Scheme 5 ┆
0x00580…005a0 20 49 2e 32 20 20 20 20 20 53 65 6d 61 6e 74 69 63 73 20 6f 66 20 53 63 68 65 6d 65 20 20 20 37 ┆ I.2 Semantics of Scheme 7┆
0x005a0…005c0 0a 0a 5c 65 6e 64 74 65 78 74 0a 0a 5c 76 70 61 72 0a 50 61 72 74 20 49 49 3a 20 41 20 63 61 74 ┆ \endtext \vpar Part II: A cat┆
0x005c0…005e0 61 6c 6f 67 20 6f 66 20 53 63 68 65 6d 65 5c 73 70 61 63 65 5c 73 70 61 63 65 5c 73 70 61 63 65 ┆alog of Scheme\space\space\space┆
0x005e0…00600 20 39 0a 0a 5c 62 65 67 69 6e 74 65 78 74 0a 20 20 20 20 49 49 2e 30 20 20 20 20 4e 6f 74 61 74 ┆ 9 \begintext II.0 Notat┆
0x00600…00620 69 6f 6e 61 6c 20 63 6f 6e 76 65 6e 74 69 6f 6e 73 20 20 20 39 0a 20 20 20 20 49 49 2e 31 20 20 ┆ional conventions 9 II.1 ┆
0x00620…00640 20 20 53 70 65 63 69 61 6c 20 66 6f 72 6d 73 20 20 20 31 31 0a 20 20 20 20 49 49 2e 32 20 20 20 ┆ Special forms 11 II.2 ┆
0x00640…00660 20 42 6f 6f 6c 65 61 6e 73 20 20 20 32 32 0a 20 20 20 20 49 49 2e 33 20 20 20 20 45 71 75 69 76 ┆ Booleans 22 II.3 Equiv┆
0x00660…00680 61 6c 65 6e 63 65 20 70 72 65 64 69 63 61 74 65 73 20 20 20 32 34 0a 20 20 20 20 49 49 2e 34 20 ┆alence predicates 24 II.4 ┆
0x00680…006a0 20 20 20 50 61 69 72 73 20 61 6e 64 20 6c 69 73 74 73 20 20 20 32 36 0a 20 20 20 20 49 49 2e 35 ┆ Pairs and lists 26 II.5┆
0x006a0…006c0 20 20 20 20 53 79 6d 62 6f 6c 73 20 20 20 33 33 0a 20 20 20 20 49 49 2e 36 20 20 20 20 4e 75 6d ┆ Symbols 33 II.6 Num┆
0x006c0…006e0 62 65 72 73 20 20 20 33 35 0a 20 20 20 20 49 49 2e 37 20 20 20 20 43 68 61 72 61 63 74 65 72 73 ┆bers 35 II.7 Characters┆
0x006e0…00700 20 20 20 34 38 0a 20 20 20 20 49 49 2e 38 20 20 20 20 53 74 72 69 6e 67 73 20 20 20 35 31 0a 20 ┆ 48 II.8 Strings 51 ┆
0x00700…00720 20 20 20 49 49 2e 39 20 20 20 20 56 65 63 74 6f 72 73 20 20 20 35 34 0a 20 20 20 20 49 49 2e 31 ┆ II.9 Vectors 54 II.1┆
0x00720…00740 30 20 20 20 54 68 65 20 6f 62 6a 65 63 74 20 74 61 62 6c 65 20 20 20 35 36 0a 20 20 20 20 49 49 ┆0 The object table 56 II┆
0x00740…00760 2e 31 31 20 20 20 50 72 6f 63 65 64 75 72 65 73 20 20 20 35 37 0a 20 20 20 20 49 49 2e 31 32 20 ┆.11 Procedures 57 II.12 ┆
0x00760…00780 20 20 50 6f 72 74 73 20 20 20 36 31 0a 20 20 20 20 49 49 2e 31 33 20 20 20 49 6e 70 75 74 20 20 ┆ Ports 61 II.13 Input ┆
0x00780…007a0 20 36 33 0a 20 20 20 20 49 49 2e 31 34 20 20 20 4f 75 74 70 75 74 20 20 20 36 35 0a 0a 5c 65 6e ┆ 63 II.14 Output 65 \en┆
0x007a0…007c0 64 74 65 78 74 0a 5c 76 70 61 72 0a 0a 42 69 62 6c 69 6f 67 72 61 70 68 79 20 61 6e 64 20 52 65 ┆dtext \vpar Bibliography and Re┆
0x007c0…007e0 66 65 72 65 6e 63 65 73 5c 73 70 61 63 65 5c 73 70 61 63 65 5c 73 70 61 63 65 20 36 37 0a 20 0a ┆ferences\space\space\space 67 ┆
0x007e0…00800 5c 76 70 61 72 0a 49 6e 64 65 78 5c 73 70 61 63 65 5c 73 70 61 63 65 5c 73 70 61 63 65 20 37 30 ┆\vpar Index\space\space\space 70┆
0x00800…00820 0a 0a 5c 66 69 6c 70 61 67 65 0a 0a 0a 5c 73 65 63 74 69 6f 6e 7b 5c 62 66 20 41 63 6b 6e 6f 77 ┆ \filpage \section{\bf Acknow┆
0x00820…00840 6c 65 64 67 65 6d 65 6e 74 73 7d 0a 0a 5c 75 6e 76 70 61 72 0a 54 68 69 73 20 72 65 70 6f 72 74 ┆ledgements} \unvpar This report┆
0x00840…00860 20 69 73 20 70 72 69 6d 61 72 69 6c 79 20 74 68 65 20 77 6f 72 6b 20 6f 66 20 61 20 67 72 6f 75 ┆ is primarily the work of a grou┆
0x00860…00880 70 20 6f 66 20 70 65 6f 70 6c 65 20 77 68 6f 20 6d 65 74 20 61 74 0a 42 72 61 6e 64 65 69 73 20 ┆p of people who met at Brandeis ┆
0x00880…008a0 55 6e 69 76 65 72 73 69 74 79 20 66 6f 72 20 74 77 6f 20 64 61 79 73 20 69 6e 20 4f 63 74 6f 62 ┆University for two days in Octob┆
0x008a0…008c0 65 72 20 31 39 38 34 2e 20 20 50 61 72 74 69 63 69 70 61 74 69 6e 67 20 69 6e 0a 74 68 61 74 20 ┆er 1984. Participating in that ┆
0x008c0…008e0 77 6f 72 6b 73 68 6f 70 20 77 65 72 65 20 48 61 6c 20 41 62 65 6c 73 6f 6e 2c 20 4e 6f 72 6d 61 ┆workshop were Hal Abelson, Norma┆
0x008e0…00900 6e 20 41 64 61 6d 73 2c 20 44 61 76 69 64 20 42 61 72 74 6c 65 79 2c 20 47 61 72 79 0a 42 72 6f ┆n Adams, David Bartley, Gary Bro┆
0x00900…00920 6f 6b 73 2c 20 57 69 6c 6c 69 61 6d 20 43 6c 69 6e 67 65 72 2c 20 44 61 6e 20 46 72 69 65 64 6d ┆oks, William Clinger, Dan Friedm┆
0x00920…00940 61 6e 2c 20 52 6f 62 65 72 74 20 48 61 6c 73 74 65 61 64 2c 20 43 68 72 69 73 20 48 61 6e 73 6f ┆an, Robert Halstead, Chris Hanso┆
0x00940…00960 6e 2c 0a 43 68 72 69 73 20 48 61 79 6e 65 73 2c 20 45 75 67 65 6e 65 20 4b 6f 68 6c 62 65 63 6b ┆n, Chris Haynes, Eugene Kohlbeck┆
0x00960…00980 65 72 2c 20 44 6f 6e 20 4f 78 6c 65 79 2c 20 4a 6f 6e 61 74 68 61 6e 20 52 65 65 73 2c 20 42 69 ┆er, Don Oxley, Jonathan Rees, Bi┆
0x00980…009a0 6c 6c 20 52 6f 7a 61 73 2c 0a 47 65 72 61 6c 64 20 53 75 73 73 6d 61 6e 2c 20 61 6e 64 20 4d 69 ┆ll Rozas, Gerald Sussman, and Mi┆
0x009a0…009c0 74 63 68 65 6c 6c 20 57 61 6e 64 2e 20 20 4b 65 6e 74 20 50 69 74 6d 61 6e 20 6d 61 64 65 20 76 ┆tchell Wand. Kent Pitman made v┆
0x009c0…009e0 61 6c 75 61 62 6c 65 0a 63 6f 6e 74 72 69 62 75 74 69 6f 6e 73 20 74 6f 20 74 68 65 20 61 67 65 ┆aluable contributions to the age┆
0x009e0…00a00 6e 64 61 20 66 6f 72 20 74 68 65 20 77 6f 72 6b 73 68 6f 70 20 62 75 74 20 77 61 73 20 75 6e 61 ┆nda for the workshop but was una┆
0x00a00…00a20 62 6c 65 20 74 6f 20 61 74 74 65 6e 64 0a 74 68 65 20 73 65 73 73 69 6f 6e 73 2e 0a 0a 5c 76 73 ┆ble to attend the sessions. \vs┆
0x00a20…00a40 6b 69 70 20 31 70 63 0a 5c 76 70 61 72 0a 57 65 20 77 6f 75 6c 64 20 6c 69 6b 65 20 74 6f 20 74 ┆kip 1pc \vpar We would like to t┆
0x00a40…00a60 68 61 6e 6b 20 74 68 65 20 66 6f 6c 6c 6f 77 69 6e 67 20 70 65 6f 70 6c 65 20 66 6f 72 20 74 68 ┆hank the following people for th┆
0x00a60…00a80 65 69 72 20 63 6f 6d 6d 65 6e 74 73 20 61 6e 64 0a 63 72 69 74 69 63 69 73 6d 73 20 69 6e 20 74 ┆eir comments and criticisms in t┆
0x00a80…00aa0 68 65 20 6d 6f 6e 74 68 73 20 66 6f 6c 6c 6f 77 69 6e 67 20 74 68 65 20 77 6f 72 6b 73 68 6f 70 ┆he months following the workshop┆
0x00aa0…00ac0 3a 20 47 65 6f 72 67 65 20 43 61 72 72 65 74 74 65 2c 20 4b 65 6e 74 0a 44 79 62 76 69 67 2c 20 ┆: George Carrette, Kent Dybvig, ┆
0x00ac0…00ae0 41 6e 64 79 20 46 72 65 65 6d 61 6e 2c 20 59 65 6b 74 61 20 47 75 72 73 65 6c 2c 20 50 61 75 6c ┆Andy Freeman, Yekta Gursel, Paul┆
0x00ae0…00b00 20 48 75 64 61 6b 2c 20 43 68 72 69 73 20 4c 69 6e 64 62 6c 61 64 2c 20 4a 6f 68 6e 0a 52 61 6d ┆ Hudak, Chris Lindblad, John Ram┆
0x00b00…00b20 73 64 65 6c 6c 2c 20 61 6e 64 20 47 75 79 20 53 74 65 65 6c 65 20 4a 72 2e 0a 0a 5c 76 73 6b 69 ┆sdell, and Guy Steele Jr. \vski┆
0x00b20…00b40 70 20 31 70 63 0a 5c 76 70 61 72 0a 57 65 20 74 68 61 6e 6b 20 43 61 72 6f 6c 20 46 65 73 73 65 ┆p 1pc \vpar We thank Carol Fesse┆
0x00b40…00b60 6e 64 65 6e 2c 20 44 61 6e 20 46 72 69 65 64 6d 61 6e 2c 20 61 6e 64 20 43 68 72 69 73 20 48 61 ┆nden, Dan Friedman, and Chris Ha┆
0x00b60…00b80 79 6e 65 73 20 66 6f 72 0a 70 65 72 6d 69 73 73 69 6f 6e 20 74 6f 20 75 73 65 20 74 65 78 74 20 ┆ynes for permission to use text ┆
0x00b80…00ba0 66 72 6f 6d 20 74 68 65 20 53 63 68 65 6d 65 20 33 31 31 20 56 65 72 73 69 6f 6e 20 34 20 72 65 ┆from the Scheme 311 Version 4 re┆
0x00ba0…00bc0 66 65 72 65 6e 63 65 20 6d 61 6e 75 61 6c 2e 0a 57 65 20 74 68 61 6e 6b 20 47 65 72 72 79 20 53 ┆ference manual. We thank Gerry S┆
0x00bc0…00be0 75 73 73 6d 61 6e 20 66 6f 72 20 64 72 61 66 74 69 6e 67 20 74 68 65 20 63 68 61 70 74 65 72 20 ┆ussman for drafting the chapter ┆
0x00be0…00c00 6f 6e 20 6e 75 6d 62 65 72 73 2c 20 43 68 72 69 73 0a 48 61 6e 73 6f 6e 20 66 6f 72 20 64 72 61 ┆on numbers, Chris Hanson for dra┆
0x00c00…00c20 66 74 69 6e 67 20 74 68 65 20 63 68 61 70 74 65 72 73 20 6f 6e 20 63 68 61 72 61 63 74 65 72 73 ┆fting the chapters on characters┆
0x00c20…00c40 20 61 6e 64 20 73 74 72 69 6e 67 73 2c 20 61 6e 64 20 47 61 72 79 0a 42 72 6f 6f 6b 73 20 61 6e ┆ and strings, and Gary Brooks an┆
0x00c40…00c60 64 20 57 69 6c 6c 69 61 6d 20 43 6c 69 6e 67 65 72 20 66 6f 72 20 64 72 61 66 74 69 6e 67 20 74 ┆d William Clinger for drafting t┆
0x00c60…00c80 68 65 20 63 68 61 70 74 65 72 73 20 6f 6e 20 69 6e 70 75 74 20 61 6e 64 0a 6f 75 74 70 75 74 2e ┆he chapters on input and output.┆
0x00c80…00ca0 20 20 57 65 20 67 6c 61 64 6c 79 20 61 63 6b 6e 6f 77 6c 65 64 67 65 20 74 68 65 20 69 6e 66 6c ┆ We gladly acknowledge the infl┆
0x00ca0…00cc0 75 65 6e 63 65 20 6f 66 20 6d 61 6e 75 61 6c 73 20 66 6f 72 20 4d 49 54 0a 53 63 68 65 6d 65 2c ┆uence of manuals for MIT Scheme,┆
0x00cc0…00ce0 20 54 2c 20 53 63 68 65 6d 65 20 38 34 2c 20 61 6e 64 20 43 6f 6d 6d 6f 6e 20 4c 69 73 70 2e 0a ┆ T, Scheme 84, and Common Lisp. ┆
0x00ce0…00d00 0a 5c 76 73 6b 69 70 20 31 70 63 0a 5c 76 70 61 72 0a 57 65 20 61 6c 73 6f 20 74 68 61 6e 6b 20 ┆ \vskip 1pc \vpar We also thank ┆
0x00d00…00d20 42 65 74 74 79 20 44 65 78 74 65 72 20 66 6f 72 20 74 68 65 20 65 78 74 72 65 6d 65 20 65 66 66 ┆Betty Dexter for the extreme eff┆
0x00d20…00d40 6f 72 74 20 73 68 65 0a 70 75 74 20 69 6e 74 6f 20 73 65 74 74 69 6e 67 20 74 68 69 73 20 72 65 ┆ort she put into setting this re┆
0x00d40…00d60 70 6f 72 74 20 69 6e 20 5c 79 74 65 78 2c 20 61 6e 64 20 44 6f 6e 20 4b 6e 75 74 68 20 66 6f 72 ┆port in \ytex, and Don Knuth for┆
0x00d60…00d80 20 64 65 73 69 67 6e 69 6e 67 20 74 68 65 0a 70 72 6f 67 72 61 6d 20 74 68 61 74 20 63 61 75 73 ┆ designing the program that caus┆
0x00d80…00da0 65 64 20 68 65 72 20 74 72 6f 75 62 6c 65 73 2e 0a 0a 5c 76 73 6b 69 70 20 31 70 63 0a 5c 76 70 ┆ed her troubles. \vskip 1pc \vp┆
0x00da0…00dc0 61 72 0a 57 65 20 69 6e 74 65 6e 64 20 74 68 69 73 20 72 65 70 6f 72 74 20 74 6f 20 62 65 6c 6f ┆ar We intend this report to belo┆
0x00dc0…00de0 6e 67 20 74 6f 20 74 68 65 20 65 6e 74 69 72 65 20 53 63 68 65 6d 65 20 63 6f 6d 6d 75 6e 69 74 ┆ng to the entire Scheme communit┆
0x00de0…00e00 79 2c 20 61 6e 64 20 73 6f 0a 77 65 20 67 72 61 6e 74 20 70 65 72 6d 69 73 73 69 6f 6e 20 74 6f ┆y, and so we grant permission to┆
0x00e00…00e20 20 63 6f 70 79 20 69 74 20 69 6e 20 77 68 6f 6c 65 20 6f 72 20 69 6e 20 70 61 72 74 20 77 69 74 ┆ copy it in whole or in part wit┆
0x00e20…00e40 68 6f 75 74 20 66 65 65 2e 20 20 49 6e 0a 70 61 72 74 69 63 75 6c 61 72 2c 20 77 65 20 65 6e 63 ┆hout fee. In particular, we enc┆
0x00e40…00e60 6f 75 72 61 67 65 20 69 6d 70 6c 65 6d 65 6e 74 6f 72 73 20 6f 66 20 53 63 68 65 6d 65 20 74 6f ┆ourage implementors of Scheme to┆
0x00e60…00e80 20 75 73 65 20 74 68 69 73 20 72 65 70 6f 72 74 20 61 73 0a 61 20 73 74 61 72 74 69 6e 67 20 70 ┆ use this report as a starting p┆
0x00e80…00ea0 6f 69 6e 74 20 66 6f 72 20 6d 61 6e 75 61 6c 73 20 61 6e 64 20 6f 74 68 65 72 20 64 6f 63 75 6d ┆oint for manuals and other docum┆
0x00ea0…00ec0 65 6e 74 61 74 69 6f 6e 2c 20 6d 6f 64 69 66 79 69 6e 67 20 69 74 20 61 73 0a 6e 65 63 65 73 73 ┆entation, modifying it as necess┆
0x00ec0…00ee0 61 72 79 2e 0a 0a 5c 76 73 6b 69 70 20 31 70 63 0a 5c 76 70 61 72 0a 7b 5c 69 74 20 45 64 69 74 ┆ary. \vskip 1pc \vpar {\it Edit┆
0x00ee0…00f00 6f 72 27 73 20 6e 6f 74 65 3a 7d 20 54 68 69 73 20 72 65 70 6f 72 74 20 72 65 63 6f 72 64 73 20 ┆or's note:} This report records ┆
0x00f00…00f20 74 68 65 20 75 6e 61 6e 69 6d 6f 75 73 20 64 65 63 69 73 69 6f 6e 73 20 6d 61 64 65 0a 74 68 72 ┆the unanimous decisions made thr┆
0x00f20…00f40 6f 75 67 68 20 61 20 72 65 6d 61 72 6b 61 62 6c 65 20 73 70 69 72 69 74 20 6f 66 20 63 6f 6d 70 ┆ough a remarkable spirit of comp┆
0x00f40…00f60 72 6f 6d 69 73 65 20 61 74 20 42 72 61 6e 64 65 69 73 2c 20 74 6f 67 65 74 68 65 72 20 77 69 74 ┆romise at Brandeis, together wit┆
0x00f60…00f80 68 0a 74 68 65 20 66 72 75 69 74 73 20 6f 66 20 73 75 62 73 65 71 75 65 6e 74 20 63 6f 6d 6d 69 ┆h the fruits of subsequent commi┆
0x00f80…00fa0 74 74 65 65 20 77 6f 72 6b 20 61 6e 64 20 64 69 73 63 75 73 73 69 6f 6e 73 20 6d 61 64 65 20 70 ┆ttee work and discussions made p┆
0x00fa0…00fc0 6f 73 73 69 62 6c 65 0a 62 79 20 76 61 72 69 6f 75 73 20 63 6f 6d 70 75 74 65 72 20 6e 65 74 77 ┆ossible by various computer netw┆
0x00fc0…00fe0 6f 72 6b 73 2e 20 20 49 20 68 61 76 65 20 74 72 69 65 64 20 74 6f 20 65 64 69 74 20 74 68 65 73 ┆orks. I have tried to edit thes┆
0x00fe0…01000 65 20 69 6e 74 6f 20 61 0a 63 6f 68 65 72 65 6e 74 20 64 6f 63 75 6d 65 6e 74 20 77 68 69 6c 65 ┆e into a coherent document while┆
0x01000…01020 20 72 65 6d 61 69 6e 69 6e 67 20 66 61 69 74 68 66 75 6c 20 74 6f 20 74 68 65 20 77 6f 72 6b 73 ┆ remaining faithful to the works┆
0x01020…01040 68 6f 70 27 73 20 64 65 63 69 73 69 6f 6e 73 0a 61 6e 64 20 74 68 65 20 63 6f 6d 6d 75 6e 69 74 ┆hop's decisions and the communit┆
0x01040…01060 79 27 73 20 63 6f 6e 73 65 6e 73 75 73 2e 20 20 49 20 61 70 6f 6c 6f 67 69 7a 65 20 66 6f 72 20 ┆y's consensus. I apologize for ┆
0x01060…01080 61 6e 79 20 63 61 73 65 73 20 69 6e 20 77 68 69 63 68 20 49 0a 68 61 76 65 20 6d 69 73 69 6e 74 ┆any cases in which I have misint┆
0x01080…010a0 65 72 70 72 65 74 65 64 20 74 68 65 20 61 75 74 68 6f 72 73 20 6f 72 20 6d 69 73 6a 75 64 67 65 ┆erpreted the authors or misjudge┆
0x010a0…010c0 64 20 74 68 65 20 63 6f 6e 73 65 6e 73 75 73 2e 0a 0a 5c 73 70 72 65 61 64 20 7b 20 7d 7b 57 69 ┆d the consensus. \spread { }{Wi┆
0x010c0…010e0 6c 6c 69 61 6d 20 43 6c 69 6e 67 65 72 7d 0a 5c 66 69 6c 70 61 67 65 0a 0a 5c 63 68 61 70 74 65 ┆lliam Clinger} \filpage \chapte┆
0x010e0…01100 72 7b 50 61 72 74 20 49 3a 20 20 49 6e 74 72 6f 64 75 63 74 69 6f 6e 20 74 6f 20 53 63 68 65 6d ┆r{Part I: Introduction to Schem┆
0x01100…01120 65 7d 0a 20 0a 20 0a 5c 73 65 63 74 69 6f 6e 7b 49 2e 30 20 20 42 72 69 65 66 20 68 69 73 74 6f ┆e} \section{I.0 Brief histo┆
0x01120…01140 72 79 20 6f 66 20 53 63 68 65 6d 65 7d 0a 0a 5c 75 6e 76 70 61 72 20 53 63 68 65 6d 65 20 69 73 ┆ry of Scheme} \unvpar Scheme is┆
0x01140…01160 20 61 20 73 74 61 74 69 63 61 6c 6c 79 20 73 63 6f 70 65 64 20 61 6e 64 20 70 72 6f 70 65 72 6c ┆ a statically scoped and properl┆
0x01160…01180 79 20 74 61 69 6c 2d 72 65 63 75 72 73 69 76 65 0a 64 69 61 6c 65 63 74 20 6f 66 20 74 68 65 20 ┆y tail-recursive dialect of the ┆
0x01180…011a0 4c 69 73 70 20 70 72 6f 67 72 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 20 69 6e 76 65 6e 74 ┆Lisp programming language invent┆
0x011a0…011c0 65 64 20 62 79 20 47 75 79 20 4c 65 77 69 73 20 53 74 65 65 6c 65 0a 4a 72 20 61 6e 64 20 47 65 ┆ed by Guy Lewis Steele Jr and Ge┆
0x011c0…011e0 72 61 6c 64 20 4a 61 79 20 53 75 73 73 6d 61 6e 2e 20 20 49 74 20 77 61 73 20 64 65 73 69 67 6e ┆rald Jay Sussman. It was design┆
0x011e0…01200 65 64 20 74 6f 20 68 61 76 65 20 61 6e 20 65 78 63 65 70 74 69 6f 6e 61 6c 6c 79 0a 63 6c 65 61 ┆ed to have an exceptionally clea┆
0x01200…01220 72 20 61 6e 64 20 73 69 6d 70 6c 65 20 73 65 6d 61 6e 74 69 63 73 20 61 6e 64 20 76 65 72 79 20 ┆r and simple semantics and very ┆
0x01220…01240 66 65 77 20 64 69 66 66 65 72 65 6e 74 20 6d 65 74 68 6f 64 73 20 6f 66 0a 65 78 70 72 65 73 73 ┆few different methods of express┆
0x01240…01260 69 6f 6e 20 66 6f 72 6d 61 74 69 6f 6e 2e 0a 0a 5c 76 73 6b 69 70 20 31 70 63 0a 5c 76 70 61 72 ┆ion formation. \vskip 1pc \vpar┆
0x01260…01280 0a 54 68 65 20 66 69 72 73 74 20 64 65 73 63 72 69 70 74 69 6f 6e 20 6f 66 20 53 63 68 65 6d 65 ┆ The first description of Scheme┆
0x01280…012a0 20 77 61 73 20 77 72 69 74 74 65 6e 20 69 6e 20 31 39 37 35 20 5b 32 38 5d 2e 20 20 41 20 52 65 ┆ was written in 1975 [28]. A Re┆
0x012a0…012c0 76 69 73 65 64 0a 52 65 70 6f 72 74 20 5b 32 34 5d 20 61 70 70 65 61 72 65 64 20 69 6e 20 31 39 ┆vised Report [24] appeared in 19┆
0x012c0…012e0 37 38 2c 20 77 68 69 63 68 20 64 65 73 63 72 69 62 65 64 20 74 68 65 20 65 76 6f 6c 75 74 69 6f ┆78, which described the evolutio┆
0x012e0…01300 6e 20 6f 66 20 74 68 65 0a 6c 61 6e 67 75 61 67 65 20 61 73 20 69 74 73 20 4d 49 54 20 69 6d 70 ┆n of the language as its MIT imp┆
0x01300…01320 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 77 61 73 20 75 70 67 72 61 64 65 64 20 74 6f 20 73 75 70 70 ┆lementation was upgraded to supp┆
0x01320…01340 6f 72 74 20 61 6e 0a 69 6e 6e 6f 76 61 74 69 76 65 20 63 6f 6d 70 69 6c 65 72 20 5b 32 31 5d 2e ┆ort an innovative compiler [21].┆
0x01340…01360 20 20 54 68 72 65 65 20 64 69 73 74 69 6e 63 74 20 70 72 6f 6a 65 63 74 73 20 62 65 67 61 6e 20 ┆ Three distinct projects began ┆
0x01360…01380 69 6e 20 31 39 38 31 20 61 6e 64 0a 31 39 38 32 20 74 6f 20 75 73 65 20 76 61 72 69 61 6e 74 73 ┆in 1981 and 1982 to use variants┆
0x01380…013a0 20 6f 66 20 53 63 68 65 6d 65 20 66 6f 72 20 63 6f 75 72 73 65 73 20 61 74 20 4d 49 54 2c 20 59 ┆ of Scheme for courses at MIT, Y┆
0x013a0…013c0 61 6c 65 2c 20 61 6e 64 20 49 6e 64 69 61 6e 61 0a 55 6e 69 76 65 72 73 69 74 79 20 5b 31 31 2c ┆ale, and Indiana University [11,┆
0x013c0…013e0 20 31 34 2c 20 34 5d 2e 20 20 41 6e 20 69 6e 74 72 6f 64 75 63 74 6f 72 79 20 63 6f 6d 70 75 74 ┆ 14, 4]. An introductory comput┆
0x013e0…01400 65 72 20 73 63 69 65 6e 63 65 0a 74 65 78 74 62 6f 6f 6b 20 75 73 69 6e 67 20 53 63 68 65 6d 65 ┆er science textbook using Scheme┆
0x01400…01420 20 77 61 73 20 70 75 62 6c 69 73 68 65 64 20 69 6e 20 31 39 38 34 20 5b 31 5d 2e 0a 0a 5c 76 73 ┆ was published in 1984 [1]. \vs┆
0x01420…01440 6b 69 70 20 31 70 63 0a 5c 76 70 61 72 0a 41 73 20 6d 69 67 68 74 20 62 65 20 65 78 70 65 63 74 ┆kip 1pc \vpar As might be expect┆
0x01440…01460 65 64 20 6f 66 20 61 20 6c 61 6e 67 75 61 67 65 20 75 73 65 64 20 70 72 69 6d 61 72 69 6c 79 20 ┆ed of a language used primarily ┆
0x01460…01480 66 6f 72 20 65 64 75 63 61 74 69 6f 6e 20 61 6e 64 0a 72 65 73 65 61 72 63 68 2c 20 53 63 68 65 ┆for education and research, Sche┆
0x01480…014a0 6d 65 20 68 61 73 20 61 6c 77 61 79 73 20 65 76 6f 6c 76 65 64 20 72 61 70 69 64 6c 79 2e 20 20 ┆me has always evolved rapidly. ┆
0x014a0…014c0 54 68 69 73 20 77 61 73 20 6e 6f 20 70 72 6f 62 6c 65 6d 20 77 68 65 6e 0a 53 63 68 65 6d 65 20 ┆This was no problem when Scheme ┆
0x014c0…014e0 77 61 73 20 75 73 65 64 20 6f 6e 6c 79 20 77 69 74 68 69 6e 20 4d 49 54 2c 20 62 75 74 20 61 73 ┆was used only within MIT, but as┆
0x014e0…01500 20 53 63 68 65 6d 65 20 62 65 63 61 6d 65 20 6d 6f 72 65 20 77 69 64 65 73 70 72 65 61 64 0a 6c ┆ Scheme became more widespread l┆
0x01500…01520 6f 63 61 6c 20 73 75 62 64 69 61 6c 65 63 74 73 20 62 65 67 61 6e 20 74 6f 20 64 69 76 65 72 67 ┆ocal subdialects began to diverg┆
0x01520…01540 65 20 75 6e 74 69 6c 20 73 74 75 64 65 6e 74 73 20 61 6e 64 20 72 65 73 65 61 72 63 68 65 72 73 ┆e until students and researchers┆
0x01540…01560 0a 6f 63 63 61 73 69 6f 6e 61 6c 6c 79 20 66 6f 75 6e 64 20 69 74 20 64 69 66 66 69 63 75 6c 74 ┆ occasionally found it difficult┆
0x01560…01580 20 74 6f 20 75 6e 64 65 72 73 74 61 6e 64 20 63 6f 64 65 20 77 72 69 74 74 65 6e 20 61 74 20 6f ┆ to understand code written at o┆
0x01580…015a0 74 68 65 72 0a 73 69 74 65 73 2e 20 20 46 69 66 74 65 65 6e 20 72 65 70 72 65 73 65 6e 74 61 74 ┆ther sites. Fifteen representat┆
0x015a0…015c0 69 76 65 73 20 6f 66 20 74 68 65 20 6d 61 6a 6f 72 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e ┆ives of the major implementation┆
0x015c0…015e0 73 20 6f 66 20 53 63 68 65 6d 65 0a 74 68 65 72 65 66 6f 72 65 20 6d 65 74 20 69 6e 20 4f 63 74 ┆s of Scheme therefore met in Oct┆
0x015e0…01600 6f 62 65 72 20 31 39 38 34 20 74 6f 20 77 6f 72 6b 20 74 6f 77 61 72 64 20 61 20 62 65 74 74 65 ┆ober 1984 to work toward a bette┆
0x01600…01620 72 20 61 6e 64 20 6d 6f 72 65 20 77 69 64 65 6c 79 0a 61 63 63 65 70 74 65 64 20 73 74 61 6e 64 ┆r and more widely accepted stand┆
0x01620…01640 61 72 64 20 66 6f 72 20 53 63 68 65 6d 65 2e 20 20 54 68 69 73 20 70 61 70 65 72 20 72 65 70 6f ┆ard for Scheme. This paper repo┆
0x01640…01660 72 74 73 20 74 68 65 69 72 20 75 6e 61 6e 69 6d 6f 75 73 0a 72 65 63 6f 6d 6d 65 6e 64 61 74 69 ┆rts their unanimous recommendati┆
0x01660…01680 6f 6e 73 20 61 75 67 6d 65 6e 74 65 64 20 62 79 20 63 6f 6d 6d 69 74 74 65 65 20 77 6f 72 6b 20 ┆ons augmented by committee work ┆
0x01680…016a0 69 6e 20 74 68 65 20 61 72 65 61 73 20 6f 66 0a 61 72 69 74 68 6d 65 74 69 63 2c 20 63 68 61 72 ┆in the areas of arithmetic, char┆
0x016a0…016c0 61 63 74 65 72 73 2c 20 73 74 72 69 6e 67 73 2c 20 61 6e 64 20 69 6e 70 75 74 2f 6f 75 74 70 75 ┆acters, strings, and input/outpu┆
0x016c0…016e0 74 2e 0a 0a 5c 76 73 6b 69 70 20 31 70 63 0a 5c 76 70 61 72 0a 53 63 68 65 6d 65 20 73 68 61 72 ┆t. \vskip 1pc \vpar Scheme shar┆
0x016e0…01700 65 73 20 77 69 74 68 20 43 6f 6d 6d 6f 6e 20 4c 69 73 70 20 5b 32 33 5d 20 74 68 65 20 67 6f 61 ┆es with Common Lisp [23] the goa┆
0x01700…01720 6c 20 6f 66 20 61 20 63 6f 72 65 20 6c 61 6e 67 75 61 67 65 20 63 6f 6d 6d 6f 6e 0a 74 6f 20 73 ┆l of a core language common to s┆
0x01720…01740 65 76 65 72 61 6c 20 69 6d 70 6c 65 6d 65 6e 74 61 74 69 6f 6e 73 2e 20 20 53 63 68 65 6d 65 20 ┆everal implementations. Scheme ┆
0x01740…01760 64 69 66 66 65 72 73 20 66 72 6f 6d 20 43 6f 6d 6d 6f 6e 20 4c 69 73 70 20 69 6e 20 69 74 73 0a ┆differs from Common Lisp in its ┆
0x01760…01780 65 6d 70 68 61 73 69 73 20 75 70 6f 6e 20 73 69 6d 70 6c 69 63 69 74 79 20 61 6e 64 20 66 75 6e ┆emphasis upon simplicity and fun┆
0x01780…017a0 63 74 69 6f 6e 20 6f 76 65 72 20 63 6f 6d 70 61 74 69 62 69 6c 69 74 79 20 77 69 74 68 20 6f 6c ┆ction over compatibility with ol┆
0x017a0…017c0 64 65 72 0a 64 69 61 6c 65 63 74 73 20 6f 66 20 4c 69 73 70 2e 0a 5c 66 69 6c 70 61 67 65 0a 0a ┆der dialects of Lisp. \filpage ┆
0x017c0…017e0 0a 5c 73 65 63 74 69 6f 6e 7b 49 2e 31 20 20 53 79 6e 74 61 78 7d 0a 20 0a 5c 75 6e 76 70 61 72 ┆ \section{I.1 Syntax} \unvpar┆
0x017e0…01800 0a 46 6f 72 6d 61 6c 20 64 65 66 69 6e 69 74 69 6f 6e 73 20 6f 66 20 74 68 65 20 6c 65 78 69 63 ┆ Formal definitions of the lexic┆
0x01800…01820 61 6c 20 61 6e 64 20 63 6f 6e 74 65 78 74 2d 66 72 65 65 20 73 79 6e 74 61 78 65 73 20 6f 66 20 ┆al and context-free syntaxes of ┆
0x01820…01840 53 63 68 65 6d 65 0a 77 69 6c 6c 20 62 65 20 69 6e 63 6c 75 64 65 64 20 69 6e 20 61 20 73 65 70 ┆Scheme will be included in a sep┆
0x01840…01860 61 72 61 74 65 20 72 65 70 6f 72 74 2e 0a 20 0a 0a 5c 73 65 63 74 69 6f 6e 7b 49 64 65 6e 74 69 ┆arate report. \section{Identi┆
0x01860…01880 66 69 65 72 73 7d 0a 0a 5c 75 6e 76 70 61 72 0a 4d 6f 73 74 20 69 64 65 6e 74 69 66 69 65 72 73 ┆fiers} \unvpar Most identifiers┆
0x01880…018a0 20 61 6c 6c 6f 77 65 64 20 62 79 20 6f 74 68 65 72 20 70 72 6f 67 72 61 6d 6d 69 6e 67 20 6c 61 ┆ allowed by other programming la┆
0x018a0…018c0 6e 67 75 61 67 65 73 20 61 72 65 20 61 6c 73 6f 0a 61 63 63 65 70 74 61 62 6c 65 20 74 6f 20 53 ┆nguages are also acceptable to S┆
0x018c0…018e0 63 68 65 6d 65 2e 20 20 54 68 65 20 70 72 65 63 69 73 65 20 72 75 6c 65 73 20 66 6f 72 20 66 6f ┆cheme. The precise rules for fo┆
0x018e0…01900 72 6d 69 6e 67 20 69 64 65 6e 74 69 66 69 65 72 73 20 76 61 72 79 0a 61 6d 6f 6e 67 20 69 6d 70 ┆rming identifiers vary among imp┆
0x01900…01920 6c 65 6d 65 6e 74 61 74 69 6f 6e 73 20 6f 66 20 53 63 68 65 6d 65 2c 20 62 75 74 20 69 6e 20 61 ┆lementations of Scheme, but in a┆
[…truncated at 200 lines…]