Did he? The author specified that the function "behaves differently;" to my reading this doesn't require that it be impure. A memoized function behaves differen

Did he? The author specified that the function "behaves differently;" to my reading this doesn't require that it be impure. A memoized function behaves differently than the underlying function (with observable consequences, like performance), but still obeys referential transparency, etc.