After seeing some discussion on Twitter, it looks like having lazy evaluation would defeat some of the goals of a truly dynamic tensor manipulation framework. But for cases like the example above at least, having a declarative way that would allow for parallel execution of several operations would be very useful.