Yes, I think something like this is the future of programming. It goes even further than what you're suggesting. The codebase will no longer need to be unambiguous, among other things.