Break the Loop, Part 3: When the Shape of the Answer Becomes the Program

Imperative thinking asks "how?" — functional thinking asks "what?". We sort a list by defining what a sorted list is. We build a set by choosing a data structure that physically cannot store duplicates. The shape of the answer becomes the program.