Comment Re:Deja vue (Score 1) 274
The problem with debugging in a natural language is 'formalism'.
If you ask the question "why did my window go away?" there is no formal identification of "my window". What if there are three windows on the screen that went away?
What does it mean "to go away?" Maybe the window has been minimised, maybe it has become fully transparent, maybe another window is just on top.
Others have mentioned this, and I agree, that debugging requires the same formalisms as programming. However, if you can formally debug a program, you could also formally describe it. And if you can do that, you don't have to program at all (although formally describing the program could be considered 'programming' at that time).
For info on this, I suggest you take a look at formal mathematical languages such as Z.
If you ask the question "why did my window go away?" there is no formal identification of "my window". What if there are three windows on the screen that went away?
What does it mean "to go away?" Maybe the window has been minimised, maybe it has become fully transparent, maybe another window is just on top.
Others have mentioned this, and I agree, that debugging requires the same formalisms as programming. However, if you can formally debug a program, you could also formally describe it. And if you can do that, you don't have to program at all (although formally describing the program could be considered 'programming' at that time).
For info on this, I suggest you take a look at formal mathematical languages such as Z.
