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..
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...
Github discussion: https://news.ycombinator.com/item?id=11899925
StackOverflowException. Call heap size exceeded.
Maybe the new checked C can protect against infinite loops too ;)
Why? Infinite loops in C are by design and have many uses: threads waiting for signals, polling, events processing etc.
It's a joke :)
https://en.wikipedia.org/wiki/Halting_problem
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..
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.
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...
Comments moved to https://news.ycombinator.com/item?id=11899925.