Re-read it, he says that you only discover the inefficiency 2 years in. Yes, I'm sure that he's for perfect abstraction, as is everybody else. But he seems to

Re-read it, he says that you only discover the inefficiency 2 years in. Yes, I'm sure that he's for perfect abstraction, as is everybody else. But he seems to be arguing against real-world abstraction which is what we've got. All abstraction introduces inefficiencies. There is no magic bullet.