4 ms·
What I find astounding with meta ocaml is that the compiler guarantees that your program will not generate a program [that will not generate a program]* that wi
by rixed 8y ago
What I find astounding with meta ocaml is that the compiler guarantees that your program will not generate a program [that will not generate a program]* that will not compile.
How does Terra fares in this regard ?
- eslaught 8y agoAs 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.