Abstracting Designs

• Similarities in Definitions
  • Similarities in Functions
  • Similarities in Data Definitions
• Functions are Values
  • Syntax and Semantics
  • Contracts for Abstract and Polymorphic Functions
• Designing Abstractions from Examples
  • Abstracting from Examples
  • Finger Exercises with Abstract List Functions
  • Abstraction and a Single Point of Control
  • Extended Exercise: Moving Pictures, Again
  • Note: Designing Abstractions from Templates
• Designing Abstractions with First-Class Functions
  • Functions that Produce Functions
  • Designing Abstractions with Functions-as-Values
  • A First Look at Graphical User Interfaces
• Mathematical Examples
  • Sequences and Series
  • Arithmetic Sequences and Series
  • Geometric Sequences and Series
  • The Area Under a Function
  • The Slope of a Function