Hacker News new | past | comments | ask | show | jobs | submit login

Yes, but it might also reject correct programs. that's the point I'm trying to make.

That doesn't contradict the quote that you provided. The quote just says "the compiler will reject the program at compile time [if there's no valid proof]", which is true.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact