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

[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 <martin.drautzburg at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140317/f32a650b/attachment.html>