• Summary
• Acknowledgments
• Getting Started


• Overview of Scheme
• Lexical conventions
• Basic concepts
• Expressions
• Program structure
• Standard procedures


• Haskell Interface


• Standard Libraries
• Husk Libraries
• Standard Feature Identifiers
• Index

Expressions

Expression types are categorized as primitive or derived. Primitive expression types include variables and procedure calls. Derived expression types are not semantically primitive, but can instead be defined as macros.

The procedures force, promise?, make-promise, and make-parameter are also described in this chapter because they are intimately associated with the delay, delay-force, and parameterize expression types.

• Primitive expression types
  • Variable references
  • Literal expressions
  • Procedure calls
  • Procedures
  • Conditionals
  • Assignments
  • Inclusion
  
  
• Derived expression types
  • Conditionals
  • Binding constructs
  • Sequencing
  • Iteration
  • Delayed evaluation
  • Dynamic bindings
  • Exception handling
  • Quasiquotation
  • Case-lambda
  
  
• Macros
  • Binding constructs for syntactic keywords
  • Pattern language
  • Explicit renaming
  • Signaling errors in macro transformers
  • Macro debugging