Hacker News new | ask | show | jobs
by hedora 404 days ago
Dead code elimination is exactly the same as the halting problem. It’s approximate (and hopefully conservative!) at best.
1 comments
kibwen 404 days ago
No, dead code elimination in a statically-dispatched language is not equivalent to the halting problem.
link