Agreed, but we will likely never get there (many professional programmers are incompetent, to say nothing of the amateurs that need to do little snippets, and t

Agreed, but we will likely never get there (many professional programmers are incompetent, to say nothing of the amateurs that need to do little snippets, and there will always be beginners that are incompetent now just because they are learning to be competent). A concept like this, if it is possible, can work from the other way and help prevent the incompetents from being dangerous. I doubt it will ever prevent people from needing to do low level programming, abstractions leak as the article says. But if done well, it could help people with minimal knowledge create truly useful things. This would help free the truly skilled programmers to work on hard and important problems.