This is really old, and I'm glad to see it's been cleaned-up, in the sense that a lot of the ideas he had that I really disagreed with and thought were actually clumsy are now missing. I'm happy he's saying this and I know many people are working on this exact problem, including some of the people I admire most, such as Alan Kay.

I disagree strongly with one statement: Programming is not Mathematics. I know what he's trying to say, that the View/Controller of the language shouldn't look like mathematical expressions. But the internal model IS mathematics. That's a big difference.