R6RS:翻訳:R6RS

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

Last modified : 2012/02/07 07:46:34 UTC