<div class="gmail_quote">On Tue, Jun 21, 2011 at 3:18 AM, Richard Senington <span dir="ltr"><<a href="mailto:sc06r2s@leeds.ac.uk">sc06r2s@leeds.ac.uk</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div bgcolor="#ffffff" text="#000000">
I have been looking through the papers by Conal Elliott and Paul Hudak,
</div></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div bgcolor="#ffffff" text="#000000">Hudak's book "The Haskell School of Expression" (chapters 13,15,17) and
</div></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div bgcolor="#ffffff" text="#000000">the latest version of the Reactive library on Hackage.<br></div>
</blockquote><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
</blockquote><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
In the past I have looked at Arrows, but I think I should have another </blockquote><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
look now, thanks for the suggestion.</blockquote><div> </div><div>Hudak's 'Yampa' is a reactive arrows model, which I believe started with some of his older work on Frob (functional reactive robotics). There are a few documents out there of the form "Arrows, Robots, and Functional Reactive Programming" [1][2]. Ross Patterson's early work on arrows also provides example of using of Arrows to model synchronous circuits as a form of dataflow programming [3].</div>
<div><br></div><div>Conal's 'Reactive' is an interesting study, but I don't like the model - it implicitly uses unsafePerformIO and futures under the hood to capture real-time behaviors, but I feel that 'real-world' integration should be captured more explicitly by our models. </div>
<div><br></div><meta http-equiv="content-type" content="text/html; charset=utf-8"><div>[1] <a href="http://people.cs.uu.nl/johanj/afp/afp4/hudak.ppt">http://people.cs.uu.nl/johanj/afp/afp4/hudak.ppt</a></div><div>[2] <a href="http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.5.2886&rep=rep1&type=pdf">http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.5.2886&rep=rep1&type=pdf</a></div>
<div>[3] <a href="http://www.soi.city.ac.uk/~ross/papers/notation.html">http://www.soi.city.ac.uk/~ross/papers/notation.html</a> (section 6)</div><meta http-equiv="content-type" content="text/html; charset=utf-8"><div><br>
</div><div><br></div></div>