It has very similar recursive process of clarification, refinement and simplification with the base case on what author thinks is 'perfection' (local optimum).

It has very similar recursive process of clarification, refinement and simplification with the base case on what author thinks is 'perfection' (local optimum). map or filter procedures in Scheme or Haskell (written in terms of fold) are worth to be framed and posted on a wall.)