The author cites this https://news.ycombinator.com/item?id=35683634 https://news.ycombinator.com/item?id=35683634 as evidence that his interlocutor doesn't unde

The author cites this https://news.ycombinator.com/item?id=35683634 https://news.ycombinator.com/item?id=35683634 as evidence that his interlocutor doesn't understand the halting problem. But the halting problem is a hard limit that is of concern only for computers with infinite memory. In practice we are unable to compile (and run) many perfectly valid programs due to RAM constraints, and some systems are able to compile programs that others cannot. People looking to compile useful programs already accept these inevitable limits, yet the author seems to think that some notion of fuel in compilation time makes a compiler terribly compromised. https://news.ycombinator.com/item?id=35707565 https://news.ycombinator.com/item?id=35707565