Re: [Haskell-cafe] FRP, integration and differential equations.

2009-04-23 Thread Steve Lihn
Just my two cents. The open source project Maxima is a very successful math engine dedicated to solving ODE PDE and integration among many other things. It is implemented in LISP. Steve On 4/21/09, jean-christophe mincke jeanchristophe.min...@gmail.com wrote: Peter, Paul, But my question is,

Re: [Haskell-cafe] FRP, integration and differential equations.

2009-04-21 Thread Christopher Lane Hinson
I had this conversation recently. My experience with implementing RK4 in RSAGL led me to some contrary conclusions: First, ODEs aren't necessarily useful for interpreting externally sampled events, because you don't have the ability to run, i.e. RK4 against a mouse cursor position without

Re: [Haskell-cafe] FRP, integration and differential equations.

2009-04-21 Thread jean-christophe mincke
Paul, Thank you for your reply. Integration is a tool to solve a some ODEs but ot all of them. Suppose all we have is a paper and a pencil and we need to symbolically solve: / t de(t)/dt = f(t) - the solution is given by

Re: [Haskell-cafe] FRP, integration and differential equations.

2009-04-21 Thread Paul L
Adam-Bashford method can be easily implemented to replace Euler's. But to really get higher accuracy, one may need variable time steps and perhaps even back tracking, which is an interesting topic on its own. But my question is, is FRP really the right setting in which to explore a highly accurate

Re: [Haskell-cafe] FRP, integration and differential equations.

2009-04-21 Thread Peter Verswyvelen
Well, the current FRP systems don't accurately solve this, since they just use an Euler integrator, as do many games. As long as the time steps are tiny enough this usually works good enough. But I wouldn't use these FRPs to guide an expensive robot or spaceship at high precision :-) On Tue, Apr

Re: [Haskell-cafe] FRP, integration and differential equations.

2009-04-21 Thread Peter Verswyvelen
Hey thanks for the Adam-Bashford tip, didn't know that one yet (although I used similar techniques in the past, didn't know it had a name :-) Well, solving the ODE is usually the task of a dedicated physics engine. But IMHO with FRP we try to reuse small building blocks so we get very modular

Re: [Haskell-cafe] FRP, integration and differential equations.

2009-04-21 Thread Peter Verswyvelen
BTW, a bit of topic, your recent work on causal commutative arrows and CCA compiler seems very promising. Any news on that? Seems that it could drastically speedup Yampa. On Tue, Apr 21, 2009 at 1:32 PM, Peter Verswyvelen bugf...@gmail.comwrote: Hey thanks for the Adam-Bashford tip, didn't know

Re: [Haskell-cafe] FRP, integration and differential equations.

2009-04-21 Thread jean-christophe mincke
Peter, Paul, But my question is, is FRP really the right setting in which to explore a highly accurate ODE solver? Well, solving the ODE is usually the task of a dedicated physics engine. But IMHO with FRP we try to reuse small building blocks so we get very modular systems; a big physics black

[Haskell-cafe] FRP, integration and differential equations.

2009-04-20 Thread jean-christophe mincke
In a post in the *Elerea, another FRP library *thread*,* Peter Verswyvelen wrote: *I think it would be nice if we could make a reactive benchmark or something: some tiny examples that capture the essence of reactive systems, and a way to compare each solution's pros and cons.* * * *For example

Re: [Haskell-cafe] FRP, integration and differential equations.

2009-04-20 Thread Paul L
Trying to give different semantics to the same declarative definition based on whether it's recursively defined or not seems rather hack-ish, although I can understand what you are coming from from an implementation angle. Mathematically an integral operator has only one semantics regardless of