[akimball]

Au contraire. It is a tradeoff between application programmer effort and compiler writer effort. Amortization infers it is better to have an extremely advanced IR optimizer.

[kilgnad]

Then why do zero cost abstractions exist? Languages like rust and C++ make the trade off on the application side rather then the compiler side.