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

[David Sorokin]

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 <martin.drautzburg at web.de 
> <mailto: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 <mailto:Haskell-Cafe at haskell.org>
>     http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
>
>
> _______________________________________________
> 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/20140318/f4c2d946/attachment.html>