I stumbled across avika but haven't looked at it. One of my problems is to decide where to dive in. Should I look at yampa, sodium or avika when I want to do simulations? Am 03/17/2014 07:01 AM, schrieb David Sorokin:

Martin,

It depends on that how FRP is defined.

So, in F# it is usually associated with the Async monad and IObservable interface.

If we will follow in the same direction then the short answer is definitely yes. An example is my simulation library Aivika [1].

My Process monad allows describing the discontinuous processes (inspired by the Async monad from F#). There is also the Signal type (inspired by the .NET IObservable interface) that allows notifying about some (.NET-like) events such as an update of the variable.

Then the characteristic function in a context of FRP would be the next one:

processAwait :: Signal a -> Process a

There is an opposite direction from the Process computation to signals through the Task type but it is a little bit complicated as the discontinuous process can be canceled, or an IO exception may arise within the computation.

But the simulation field is too big and diverse to assert something general.

Thanks, David

[1] http://hackage.haskell.org/package/aivika

I agree that it depends on the type of simulation. As usual in the life, there is no universal method. 17.03.2014 23:07, Carter Schonwald ?????:

depends on the type of simulation!

indeed, is your modelling needs "casual" or "acausall"? The latter would be say "i'm describing a circuit board" the former would be "given this change in inputs, respond like so". Not every simulation needs to be of the former sort!

On Mon, Mar 17, 2014 at 2:07 PM, martin mailto:martin.drautzburg@web.de> wrote:

I stumbled across avika but haven't looked at it. One of my problems is to decide where to dive in. Should I look at yampa, sodium or avika when I want to do simulations?

Am 03/17/2014 07:01 AM, schrieb David Sorokin: > Martin, > > It depends on that how FRP is defined. > > So, in F# it is usually associated with the Async monad and IObservable interface. > > If we will follow in the same direction then the short answer is definitely yes. An example is my simulation library > Aivika [1]. > > My Process monad allows describing the discontinuous processes (inspired by the Async monad from F#). There is also the > Signal type (inspired by the .NET IObservable interface) that allows notifying about some (.NET-like) events such as an > update of the variable. > > Then the characteristic function in a context of FRP would be the next one: > > processAwait :: Signal a -> Process a > > There is an opposite direction from the Process computation to signals through the Task type but it is a little bit > complicated as the discontinuous process can be canceled, or an IO exception may arise within the computation. > > But the simulation field is too big and diverse to assert something general. > > Thanks, > David > > [1] http://hackage.haskell.org/package/aivika

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org mailto:Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe