I think that's part of the problem - none of us have yet the conceptual ability to see what the answer is. We're just scratching symbols on cave walls. Until some massive unexpected breakthrough or insight, it seems like programming languages are doomed to continue circling the same old ground.