As you may have expected, Terra doesn't approach this from a type safety perspective. The generated code is of course type checked, but the metaprogram is not.

As you may have expected, Terra doesn't approach this from a type safety perspective. The generated code is of course type checked, but the metaprogram is not. Instead the goals are productivity and performance. And along those axes I have to say it does remarkably well. I've built or been involved in building a number of compilers, I've never seen any other system that has made it as quick and painless to build a system, and get competitive performance[1] out of the gate. [1]: And just to be clear, when I say competitive, I don't mean with C. I mean with hand-tuned assembly and/or vector intrinsics. I regularly get performance with Regent that you simply can't get in a C compiler without writing vector intrinsics by hand.