Chapter 5: Higher-Order Procedures

• Recap
• Higher-Order Procedures
• Procedures As Arguments
• A Better Way
• Recognizing Commonality
• Exploiting Commonality
• More Benefit
• Exercises
• Abstracting Generality
• The Payoff
• Questions To Ask About Computational Processes (Yet Again)
• Computability
• The Halting Problem
• Implications of the Existence of halts?
• Alan Turing Solves the Halting Problem
• The Genius of Turing
• Procedures That Make Procedures
• Exercise 5.8
• An Application: Verifying ID numbers
• Self-Verifying ISBN Numbers
• Writing ID Number Verification Procedures
• Self-Verifying UPC Numbers
• Function Composition
• Exercise 5.18
• Exercise 5.19