Re: [Haskell-cafe] FRP, Simulations and Time (Sodium et. al)

18 Mar 2014


      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