[jonsen]

I don't think he can. As he says towards the end of the introduction: "One source of unease is that the fundamental distinctions are obscured, but not eliminated, in real programming languages."