Many of our tools are supposed to be web browsers, email clients, etc., but have a history of suddenly doing something completely nuts like taking over the whole computer, which was obviously not the intended purpose. Programming is hard that way - the result will only follow your program, verbatim. Attempts to give programs a greater sense of context and implications aren't new - they're called "higher level languages". They feel less like hand-holding a dumb machine and more like describing a thought process, and you can even design the language to make whole classes of lower-level bugs unwriteable, but machines still end up doing what they're instructed, verbatim (where "what they're instructed" can now also include the output of compiler bugs).

The trouble is that you can't rule out every class of bugs. It's hard (impossible?) to distinguish a priori between what might be a bug and what might just be a different programmers' intention, even though we've been wishing for the ability to do so for over a century. "Pray, Mr. Babbage, if you put into the machine wrong figures, will the right answers come out?"