<div dir="ltr">depends on the type of simulation!<div><br></div><div>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!</div>

</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Mar 17, 2014 at 2:07 PM, martin <span dir="ltr"><<a href="mailto:martin.drautzburg@web.de" target="_blank">martin.drautzburg@web.de</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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<br>


yampa, sodium or avika when I want to do simulations?<br>
<br>
Am 03/17/2014 07:01 AM, schrieb David Sorokin:<br>
<div class="im HOEnZb">> Martin,<br>
><br>
> It depends on that how FRP is defined.<br>
><br>
> So, in F# it is usually associated with the Async monad and IObservable interface.<br>
><br>
> If we will follow in the same direction then the short answer is definitely yes. An example is my simulation library<br>
> Aivika [1].<br>
><br>
> My Process monad allows describing the discontinuous processes (inspired by the Async monad from F#). There is also the<br>
> Signal type (inspired by the .NET IObservable interface) that allows notifying about some (.NET-like) events such as an<br>
> update of the variable.<br>
><br>
> Then the characteristic function in a context of FRP would be the next one:<br>
><br>
> processAwait :: Signal a -> Process a<br>
><br>
> There is an opposite direction from the Process computation to signals through the Task type but it is a little bit<br>
> complicated as the discontinuous process can be canceled, or an IO exception may arise within the computation.<br>
><br>
> But the simulation field is too big and diverse to assert something general.<br>
><br>
> Thanks,<br>
> David<br>
><br>
> [1] <a href="http://hackage.haskell.org/package/aivika" target="_blank">http://hackage.haskell.org/package/aivika</a><br>
<br>
</div><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>