R6RS:翻訳:R6RS

原文： http://www.r6rs.org/final/html/r6rs/r6rs.html

R6RS:翻訳:R6RS:Summary

R6RS:翻訳:R6RS:Introduction

1. R6RS:翻訳:R6RS:1 Overview of Scheme
   1. R6RS:翻訳:R6RS:1.1 Basic types
   2. R6RS:翻訳:R6RS:1.2 Expressions
   3. R6RS:翻訳:R6RS:1.3 Variables and binding
   4. R6RS:翻訳:R6RS:1.4 Definitions
   5. R6RS:翻訳:R6RS:1.5 Forms
   6. R6RS:翻訳:R6RS:1.6 Procedures
   7. R6RS:翻訳:R6RS:1.7 Procedure calls and syntactic keywords
   8. R6RS:翻訳:R6RS:1.8 Assignment
   9. R6RS:翻訳:R6RS:1.9 Derived forms and macros
   10. R6RS:翻訳:R6RS:1.10 Syntactic data and datum values
   11. R6RS:翻訳:R6RS:1.11 Continuations
   12. R6RS:翻訳:R6RS:1.12 Libraries
   13. R6RS:翻訳:R6RS:1.13 Top-level programs
2. R6RS:翻訳:R6RS:2 Requirement levels
3. R6RS:翻訳:R6RS:3 Numbers
   1. R6RS:翻訳:R6RS:3.1 Numerical tower
   2. R6RS:翻訳:R6RS:3.2 Exactness
   3. R6RS:翻訳:R6RS:3.3 Fixnums and flonums
   4. R6RS:翻訳:R6RS:3.4 Implementation requirements
   5. R6RS:翻訳:R6RS:3.5 Infinities and NaNs
   6. R6RS:翻訳:R6RS:3.6 Distinguished -0.0
4. R6RS:翻訳:R6RS:4 Lexical syntax and datum syntax
   1. R6RS:翻訳:R6RS:4.1 Notation
   2. R6RS:翻訳:R6RS:4.2 Lexical syntax
   3. R6RS:翻訳:R6RS:4.3 Datum syntax
5. R6RS:翻訳:R6RS:5 Semantic concepts
   1. R6RS:翻訳:R6RS:5.1 Programs and libraries
   2. R6RS:翻訳:R6RS:5.2 Variables, keywords, and regions
   3. R6RS:翻訳:R6RS:5.3 Exceptional situations
   4. R6RS:翻訳:R6RS:5.4 Argument checking
   5. R6RS:翻訳:R6RS:5.5 Syntax violations
   6. R6RS:翻訳:R6RS:5.6 Safety
   7. R6RS:翻訳:R6RS:5.7 Boolean values
   8. R6RS:翻訳:R6RS:5.8 Multiple return values
   9. R6RS:翻訳:R6RS:5.9 Unspecified behavior
   10. R6RS:翻訳:R6RS:5.10 Storage model
   11. R6RS:翻訳:R6RS:5.11 Proper tail recursion
   12. R6RS:翻訳:R6RS:5.12 Dynamic extent and the dynamic environment
6. R6RS:翻訳:R6RS:6 Entry format
   1. R6RS:翻訳:R6RS:6.1 Syntax entries
   2. R6RS:翻訳:R6RS:6.2 Procedure entries
   3. R6RS:翻訳:R6RS:6.3 Implementation responsibilities
   4. R6RS:翻訳:R6RS:6.4 Other kinds of entries
   5. R6RS:翻訳:R6RS:6.5 Equivalent entries
   6. R6RS:翻訳:R6RS:6.6 Evaluation examples
   7. R6RS:翻訳:R6RS:6.7 Naming conventions
7. R6RS:翻訳:R6RS:7 Libraries
   1. R6RS:翻訳:R6RS:7.1 Library form
   2. R6RS:翻訳:R6RS:7.2 Import and export levels
   3. R6RS:翻訳:R6RS:7.3 Examples
8. R6RS:翻訳:R6RS:8 Top-level programs
   1. R6RS:翻訳:R6RS:8.1 Top-level program syntax
   2. R6RS:翻訳:R6RS:8.2 Top-level program semantics
9. R6RS:翻訳:R6RS:9 Primitive syntax
   1. R6RS:翻訳:R6RS:9.1 Primitive expression types
   2. R6RS:翻訳:R6RS:9.2 Macros
10. R6RS:翻訳:R6RS:10 Expansion process
11. R6RS:翻訳:R6RS:11 Base library
    1. R6RS:翻訳:R6RS:11.1 Base types
    2. R6RS:翻訳:R6RS:11.2 Definitions
    3. R6RS:翻訳:R6RS:11.3 Bodies
    4. R6RS:翻訳:R6RS:11.4 Expressions
       1. R6RS:翻訳:R6RS:11.4.1 Quotation
       2. R6RS:翻訳:R6RS:11.4.2 Procedures
       3. R6RS:翻訳:R6RS:11.4.3 Conditionals
       4. R6RS:翻訳:R6RS:11.4.4 Assignments
       5. R6RS:翻訳:R6RS:11.4.5 Derived conditionals
       6. R6RS:翻訳:R6RS:11.4.6 Binding constructs
       7. R6RS:翻訳:R6RS:11.4.7 Sequencing
    5. R6RS:翻訳:R6RS:11.5 Equivalence predicates
    6. R6RS:翻訳:R6RS:11.6 Procedure predicate
    7. R6RS:翻訳:R6RS:11.7 Arithmetic
       1. R6RS:翻訳:R6RS:11.7.1 Propagation of exactness and inexactness
       2. R6RS:翻訳:R6RS:11.7.2 Representability of infinities and NaNs
       3. R6RS:翻訳:R6RS:11.7.3 Semantics of common operations
          1. R6RS:翻訳:R6RS:11.7.3.1 Integer division
          2. R6RS:翻訳:R6RS:11.7.3.2 Transcendental functions
       4. R6RS:翻訳:R6RS:11.7.4 Numerical operations
          1. R6RS:翻訳:R6RS:11.7.4.1 Numerical type predicates
          2. R6RS:翻訳:R6RS:11.7.4.2 Generic conversions
          3. R6RS:翻訳:R6RS:11.7.4.3 Arithmetic operations
          4. R6RS:翻訳:R6RS:11.7.4.4 Numerical Input and Output
    8. R6RS:翻訳:R6RS:11.8 Booleans
    9. R6RS:翻訳:R6RS:11.9 Pairs and lists
    10. R6RS:翻訳:R6RS:11.10 Symbols
    11. R6RS:翻訳:R6RS:11.11 Characters
    12. R6RS:翻訳:R6RS:11.12 Strings
    13. R6RS:翻訳:R6RS:11.13 Vectors
    14. R6RS:翻訳:R6RS:11.14 Errors and violations
    15. R6RS:翻訳:R6RS:11.15 Control features
    16. R6RS:翻訳:R6RS:11.16 Iteration
    17. R6RS:翻訳:R6RS:11.17 Quasiquotation
    18. R6RS:翻訳:R6RS:11.18 Binding constructs for syntactic keywords
    19. R6RS:翻訳:R6RS:11.19 Macro transformers
    20. R6RS:翻訳:R6RS:11.20 Tail calls and tail contexts

1. R6RS:翻訳:R6RS:A Formal semantics
   1. R6RS:翻訳:R6RS:A1 Background
   2. R6RS:翻訳:R6RS:A2 Grammar
   3. R6RS:翻訳:R6RS:A3 Quote
   4. R6RS:翻訳:R6RS:A4 Multiple values?
   5. R6RS:翻訳:R6RS:A5 Exceptions?
   6. R6RS:翻訳:R6RS:A6 Arithmetic and basic forms?
   7. R6RS:翻訳:R6RS:A7 Lists?
   8. R6RS:翻訳:R6RS:A8 Eqv
   9. R6RS:翻訳:R6RS:A9 Procedures and application?
   10. R6RS:翻訳:R6RS:A10 Call/cc and dynamic wind?
   11. R6RS:翻訳:R6RS:A11 Letrec?
   12. R6RS:翻訳:R6RS:A12 Underspecification?
2. R6RS:翻訳:R6RS:B Sample definitions for derived forms
3. R6RS:翻訳:R6RS:C Additional material
4. R6RS:翻訳:R6RS:D Example
5. R6RS:翻訳:R6RS:E Language changes