Re: [racket-users] Compiler question

2016-04-29 Thread Matthias Felleisen
Jerry, you may not have understood Vincent's concise response. No reasonably expressive PL on Earth will allow you to predict the performance of micro-benchmarks (not to speak of large programs) within reasonable bounds. When compiler optimizations fail -- what you call "pessimizing style" -- th

Re: [racket-users] DSL to C code generation with symbolic computations en route

2016-04-29 Thread Dmitry Pavlov
RAI seems to be the closest to what I need to do. It has a DSL with arrays and matrices, it generates C code, and it even has automatic differentiation, according to the docs. It is designed for DSP, but probably can be extended to non-DSP programming. I should look at it closer. For the rec

Re: [racket-users] Compiler question

2016-04-29 Thread Jerry Jackson
Thank you, Matthias. Thanks to Vincent and everyone else who answered as well. I'll experiment with the coach. Best regards, --Jerry On Fri, Apr 29, 2016 at 9:16 AM, Matthias Felleisen wrote: > > Jerry, you may not have understood Vincent's concise response. > > No reasonably expressive PL on