Hacker News new | ask | show | jobs
by Illniyar 3660 days ago
Maybe the new checked C can protect against infinite loops too ;)
2 comments
markokrajnc 3660 days ago
This is a joke... but in reality there are MANY cases where programming language can prevent errors at compile time with no or minimal costs and this could be added to standard C...
link
kbart 3660 days ago
Why? Infinite loops in C are by design and have many uses: threads waiting for signals, polling, events processing etc.
link
patresi 3660 days ago
It's a joke :)

https://en.wikipedia.org/wiki/Halting_problem

link
JD557 3660 days ago
Actually, Microsoft Research has another project to prove program termination: http://research.microsoft.com/en-us/projects/t2/

Obviously this cannot work on all programs, but it's nice that they tried to do their best.

link
kbart 3660 days ago
Heh, need to relax a little then. Anyway, I've heard this complain too many times from inexperienced "programmers" ("Why my program doesn't quit?"), so the truth is not far fetched..
link