SICP 1.3.1: “ Formulating Abstractions with Higher-Order Procedures: Procedures as Arguments”

(Structure and Interpretation of Computer Programs) 1.3.1

Paige Finkelstein
HackerNoon.com
Published in
6 min readAug 8, 2017

--

My 1.3.1 exercise solutions are also on Github here: https://github.com/bolducp/SICP/tree/master/exercises/chapter_01/1.3_exercises

One of the things we should demand from a powerful programming language is the ability to build abstractions by assigning names to common patterns and then to work in terms of the abstractions directly. (pg. 56)

image credit: http://crossfithorgen.ch/blog/skill-levels/

“Often the same programming pattern will be used with a number of different procedures. To express such patterns as concepts, we will need to construct procedures that can accept procedures as arguments or return procedures as values. Procedures that manipulate procedures are called higher-order procedures. This section shows how higher-order procedures can serve as powerful abstraction mechanisms, vastly increasing the expressive power of our language.” (pgs 56- 57)

1.3.1: Procedures as Arguments

This section begins by providing three examples of procedures dealing with summing various collections of data (e.g. integers, cubes, fractional numbers in a specific series) and points out the similar logic in all of the procedures, regardless of the type of item being accumulated. This leads to a discussion of the general notion of summation, aided by an example of a common summation procedure that abstracts the duplicated logic from the three original functions and provides the variable portions as arguments.

The presence of such a common pattern is strong evidence that there is a useful abstraction waiting to be brought to the surface. (pg. 58)

1.1.3 Exercises

My solutions are provided in gray text blocks below each exercise question.

Exercise 1.29

Simpson’s Rule is a more accurate method of numerical integration than the method illustrated above. Using Simpson’s Rule, the integral of a function f between a and b is approximated as

h/3[y0+4y1+2y2+4y3+2y4+…+2yn−2+4yn−1+yn]

where h=(b−a)/n, for some even integer n, and yk=f(a+kh). (Increasing n increases the accuracy of the approximation.) Define a procedure that takes as arguments f, a, b, and n and returns the value of the integral, computed using Simpson’s Rule. Use your procedure to integrate cube between 0 and 1 (with n = 100 and n = 1000), and compare the results to those of the integral procedure shown above.

Exercise 1.30

The sum procedure above generates a linear recursion. The procedure can be rewritten so that the sum is performed iteratively. Show how to do this by filling in the missing expressions in the following definition:

Exercise 1.31

The sum procedure is only the simplest of a vast number of similar abstractions that can be captured as higher-order procedures.Write an analogous procedure called product that returns the product of the values of a function at points over a given range. Try both a recursive and an iterative approach. Show how to define factorial in terms of product. Also use product to compute approximations to using the formula: π/4=(2⋅4⋅4⋅6⋅6⋅8…) / (3⋅3⋅5⋅5⋅7⋅7…)

Exercise 1.32

Show that sum and product (Exercise 1.31) are both special cases of a still more general notion called accumulate that combines a collection of terms, using some general accumulation function:

Accumulate takes as arguments the same term and range specifications as sum and product, together with a combiner procedure (of two arguments) that specifies how the current term is to be combined with the accumulation of the preceding terms and a null-value that specifies what base value to use when the terms run out. Write accumulate and show how sum and product can both be defined as simple calls to accumulate. Write two procedures, one that generates a recursive process and one iterative.

Exercise 1.33

You can obtain an even more general version of accumulate (Exercise 1.32) by introducing the notion of a filter on the terms to be combined. That is, combine only those terms derived from values in the range that satisfy a specified condition. The resulting filtered-accumulate abstraction takes the same arguments as accumulate, together with an additional predicate of one argument that specifies the filter. Write filtered-accumulate as a procedure.

Show how to express the following using filtered-accumulate:

1. the sum of the squares of the prime numbers in the interval a to b (assuming that you have a prime? predicate already written)

2. the product of all the positive integers less than n that are relatively prime to n (i.e., all positive integers i<n such that GCD(i,n)=1GCD.

--

--