Holy shit, I didn't know the problem mentioned in my April 14th entry was so deep. It's not only OOP that needs factored (a 20 year problem), but the whole frickin' field needs re-invented (a 50 year refactoring).
Seriously, all the HolyWars and LanguageWars all revolve around a subtle, unconscious use of the same lexicon for two entirely separate different domains, one involving abstract LambdaCalculus and the other involving BooleanLogic and TuringMachines -- something tied to actual hardware which has to obey the laws of physics.
See ComputerScienceVersionTwo.