I’m confident too. One of our R&D projects is to develop compile-time optimization of our aggregators to do lazy evaluation of vector operations (remove temporary objects from a expression of vector op terms: v1 + v2 * v3 + 1). It would actually make a cool summer project for an intern.

My only concern would be the maintainability of these optimisation templates. Have you had any problems regarding that?