8.1 Functions as Data

      8.1.1 A Little Calculus

      8.1.2 A Helpful Shorthand for Anonymous Functions

      8.1.3 Streams From Functions

      8.1.4 Combining Forces: Streams of Derivatives

    8.2 Queues from Lists

      8.2.1 Using a Wrapper Datatype

      8.2.2 Combining Answers

      8.2.3 Using a Picker

      8.2.4 Using Tuples

      8.2.5 A Picker Method

    8.3 Examples, Testing, and Program Checking

      8.3.1 From Examples to Tests

      8.3.2 More Refined Comparisons

      8.3.3 When Tests Fail

      8.3.4 Oracles for Testing