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
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
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, m
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, and he adds:
> >>
> >>> -
> 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,
>>> symbolically, and have them con
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 John
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 co
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 (http://lush.sourceforge.net/)
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 right
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 s
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
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 work
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 whate
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 serve your
>> needs, but if you do end up with the "im
> 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 purposes
> of differentiation. He m
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 to
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 vector
17 matches
Mail list logo