[Haskell-cafe] FRP, Simulations and Time (Sodium et. al)
carter.schonwald at gmail.com
Mon Mar 17 19:07:57 UTC 2014
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
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
> > If we will follow in the same direction then the short answer is
> definitely yes. An example is my simulation library
> > Aivika .
> > 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
> > 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
> > Thanks,
> > David
> >  http://hackage.haskell.org/package/aivika
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe