Fork me on GitHub

R7RS

BiwaScheme supports basic feature of R7RS, but currently not all.

The following list is based on r7rs.pdf (the final draft) on the Wiki.

1 OverviewofScheme....................... 5

1.1 Semantics ......................... 5

1.2 Syntax........................... 5

1.3 Notationandterminology ................ 5

2 Lexicalconventions ....................... 7

2.1 Identifiers ......................... 7

2.2 Whitespaceandcomments................ 8

2.3 Othernotations...................... 8

2.4 Datumlabels ....................... 9

3 Basicconcepts.......................... 9

3.1 Variables, syntactic keywords, and regions . . . . . . . 9

3.2 Disjointnessoftypes ................... 10

3.3 Externalrepresentations................. 10

3.4 Storagemodel....................... 10

3.5 Propertailrecursion ................... 11

4 Expressions ........................... 12

4.1 Primitiveexpressiontypes................ 12

4.2 Derivedexpressiontypes................. 14

4.3 Macros........................... 21

5 Programstructure........................ 25

5.1 Programs ......................... 25

5.2 Import declarations.................... 25

5.3 Variabledefinitions.................... 25

5.4 Syntaxdefinitions .................... 26

5.5 Record-typedefinitions.................. 27

5.6 Libraries.......................... 28

5.7 TheREPL ........................ 29

6 Standardprocedures ...................... 30

6.1 Equivalencepredicates.................. 30

6.2 Numbers.......................... 32

6.3 Booleans.......................... 40

6.4 Pairsandlists....................... 40

6.5 Symbols.......................... 43

6.6 Characters......................... 44

6.7 Strings........................... 45

6.8 Vectors .......................... 48

6.9 Bytevectors ........................ 49

6.10Controlfeatures...................... 50

6.11Exceptions ........................ 54

6.12Environmentsandevaluation .............. 55

6.13Inputandoutput..................... 55

6.14Systeminterface ..................... 59

7 Formalsyntaxandsemantics.................. 61

7.1 Formalsyntax....................... 61

7.2 Formalsemantics..................... 65

7.3 Derivedexpressiontypes................. 68