But there's no way to program domain-specific knowledge into the compiler like you can with macros. You can. It just won't be as syntactically elegant. Use e

But there's no way to program domain-specific knowledge into the compiler like you can with macros. You can. It just won't be as syntactically elegant. Use expression trees and code emission the language exposes. The optimization happens at run-time, rather than compile time. But you'll actually, in most cases, get more optimization opportunity.