Mapping and Lambda
v Math/FP:   Map(l, S) = {l(x) | x Î S}
v Express our algorithm in terms
of mapping, not iteration:
min(…) à map(l, min-accum)
max(…) à map(l, max-accum)
v Backtracking is automatically handled by
mapping.