| Eve's goal (or more correctly, "vision") is to "bring programming to the masses". [1] >Should languages create higher-level abstractions to allow humans to reason about programs more efficiently? Yes! But that's not what this environment is about. Uh, ok? It's certainly about more than that, but the language is built on high-level abstractions, making at least certain class of problems very efficient to reason about. > ... that the challenge in programming is in formulating your thoughts in a precise fashion Yes, one might say that the real problem[1] is how to teach people programming quickly. I'd say that a good environment is likely to be an important part of any solutions to that problem though. It will not be the whole solution though. People will have to put in some work, and at some point improvements in environment/language will see diminishing returns. At that point you'll need better/new pedagogic techniques too reduce the learning time. When that point is reached is unknown. I don't think it's there yet, but maybe it's not so distant. If the we restate the problem to "how to make as many people as possible learn programming" some type of gameification is probably an efficient solution. |