Checked C from Microsoft Research

research.microsoft.com

142 pointsadamnemecek9 comments

Open articleView on HN

Comments moved to https://news.ycombinator.com/item?id=11899925.

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...

Reply on news.ycombinator.com