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 <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
http://www.haskell.org/mailman/listinfo/haskell-cafe

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