Lecture overview -- Keyboard shortcut: 'u'  Previous page: Rewrite rules, reduction, and normal forms [Section] -- Keyboard shortcut: 'p'  Next page: The alpha rewrite rule -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Help page about these notes  Alphabetic index  Course home    Lecture 5 - Page 9 : 26
Functional Programming in Scheme
The Order of Evaluation
Rewrite rules

The rewrite rules define semantics preserving transformations of expressions

The goal of applying the rewrite rules is normally to reduce an expression to the simplest possible form, called a normal form.

  • Overview of rewrite rules

    • Alpha conversion: rewrites a lambda expression

    • Beta conversion: rewrites general function calls

      • Expresses the idea of substitution, as described by the substitution model

    • Eta conversion: rewrites certain lambda expressions to a simpler form