2 ms·
I read it as a reference to some theoretical limitation like the Halting Problem. Fine, in general it is not possible to tell if code will halt. But if I see a
by janalsncm 4mo ago
I read it as a reference to some theoretical limitation like the Halting Problem.
Fine, in general it is not possible to tell if code will halt. But if I see a while(1) I’m going to check if the loop can break.
- layer8 4mo agoArguably, if you can’t tell if the code will halt, the code is not acceptable. Code is acceptable if it can be properly reasoned about. If it can’t, it is not.
- saghm 4mo agoYeah, this seems like a misunderstanding of the halting problem. You can prove that a program halts will halt; you just can't prove that it won't halt if it doesn't.