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

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

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

Late to the party, because I've been ignoring most of my email for a week. I'm the one at the U of U that has started working on the problem as Jay mentioned. But with classes and other study on related, tangentially related, or simply tangential topics I haven't gone beyond the very simplest of

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

Hello. About the automatic differentiation /encore/ Le 20/04/2016 18:02, Hendrik Boom a écrit : Instead of eveluating the function at x = 1, you essentially symbolically evaluate it at 1 + dx. The key here is that you use the algebra of differentials instead of the arithmetic of numbers. Yes,

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

On Wed, Apr 20, 2016 at 01:26:49AM -0400, 'John Clements' via users-redirect wrote: > > > On Apr 19, 2016, at 3:18 PM, Hendrik Boom wrote: > > > > On Mon, Apr 18, 2016 at 08:04:32PM +0200, Jerzy Karczmarczuk wrote: > >> Dmitry Pavlov wants "adult" numerics in Racket,

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

> On Apr 19, 2016, at 3:18 PM, Hendrik Boom wrote: > > On Mon, Apr 18, 2016 at 08:04:32PM +0200, Jerzy Karczmarczuk wrote: >> Dmitry Pavlov wants "adult" numerics in Racket, and he adds: >> >>> - I need to take derivatives of equations that I wrote in my DSL, >>>

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

On Mon, Apr 18, 2016 at 08:04:32PM +0200, Jerzy Karczmarczuk wrote: > Dmitry Pavlov wants "adult" numerics in Racket, and he adds: > > >- I need to take derivatives of equations that I wrote in my DSL, > >symbolically, and have them converted to C too. > > And then, people (Robby Findler and

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

All, Thank you very much for the provided references. Robby, John, Jerzy: thanks for the pointer to Jeff Siskind. His works on automatic differentiation are very interesting. I should look at his Stalingrad software. I did not think about automatic vs symbolic differentiation before; now I am

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

Jay McCarthy writes: > Another thing in this realm is the Terra language --- > http://terralang.org --- and its associated projects, which are all > quite beautiful. Terra was indeed one of my inspirations. Another one, older but closer to our own universe, is Lush

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

This is something that comes up over and over on the list. I believe that there are others at U(U) that are working on this problem presently as a way to help port the runtime system from C. Perhaps it would be good to connect everyone up more efficiently. On the more boring end, I'm working

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

On 18/04/2016 19:20, Dmitry Pavlov wrote: I, as a programmer in the area of numerics, just evolved to the state where the following task seem reasonable to work on: ... I suspect I am not the only one who wants that. Me too! There must be some work already done. What would you advise to

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

For generating C, you may be interested in Fulmar: http://docs.racket-lang.org/fulmar-doc/index.html I haven't used it myself, though. Maybe someone from Matt Might's group could chime in? Vincent On Mon, 18 Apr 2016 12:20:22 -0500, Dmitry Pavlov wrote: > > Dear Racketeers, > > > I, as

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

Dmitry Pavlov wants "adult" numerics in Racket, and he adds: - I need to take derivatives of equations that I wrote in my DSL, symbolically, and have them converted to C too. And then, people (Robby Findler and John Clements) mentioned Siskind. Good. However, you should know that Jeffrey

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

One thing I have wanted to try is a `#lang` for a subset of Racket (everything but the most problematic bits), which expands to multiple modules with different equivalent implementations: Racket code, strings of C code, strings of Java code, strings of JavaScript code, strings of code for

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

Ah, sorry! Yes, Jeff Siskind. Duh. Robby On Mon, Apr 18, 2016 at 12:39 PM, 'John Clements' via users-redirect wrote: > >> On Apr 18, 2016, at 10:29 AM, Robby Findler >> wrote: >> >> I'm not sure if there is anything in Racketdom that will

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

> On Apr 18, 2016, at 10:29 AM, Robby Findler > wrote: > > I'm not sure if there is anything in Racketdom that will serve your > needs, but if you do end up with the "implement it" plan, do be sure > to check out Jeff Siskin's work on program analysis for the

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

I'm not sure if there is anything in Racketdom that will serve your needs, but if you do end up with the "implement it" plan, do be sure to check out Jeff Siskin's work on program analysis for the purposes of differentiation. He makes some whole-program assumptions (that sound reasonable for you

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

Dear Racketeers, I, as a programmer in the area of numerics, just evolved to the state where the following task seem reasonable to work on: - I need to take (or invent) some DSL for numerical computations. All I need is: variables and functions, vectors, loops, arithmetics on numbers and