Hacker News new | ask | show | jobs
by historyloop 1807 days ago
> It is not about translating intent accurately. What you need is for compilation to be fully specified.

If you know how complicated the transformation pipeline is on a typical compiler, you'll realize that's pretty much impossible.

And that pipeline is specific not only to your code, compiler settings, but also your target machine, and is constantly in flux, update to update.

Even if it could be documented, no one would read the documentation.