Hacker News Reader

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.

Reply on news.ycombinator.com