Same applies for his sort example. Someone has to write sort. Except that now also includes sorting.

In a language with lazy stream abstraction, the max() function can be pretty efficient.