Hacker News new | ask | show | jobs
by steveklabnik 1426 days ago
I guess to me I see that as isomorphic; you're still qualifying the output, even if there's an intermediate step involved. The path towards qualifying the output of the sophisticated compiler may be more indirect, but you're still doing it.