As Magnus pointed out in his (very clever) paper, the Applicative interface allows for more precise/efficient tracking of dependencies, in that it eliminates accidental sequentiality imposed by the Monad interface.&nbsp; (Magnus didn&#39;t mention Applicative by name, as his paper preceded Idiom/Applicative.)&nbsp; However, I don&#39;t see an Applicative instance in the library.<br>
<br>&nbsp; - Conal<br><br><div class="gmail_quote">On Thu, Nov 13, 2008 at 7:46 PM, Don Stewart <span dir="ltr">&lt;<a href="mailto:dons@galois.com">dons@galois.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Magnus writes:<br>
<br>
 &nbsp; &nbsp;Thanks to Peter Jonsson, the source is now on hackage:<br>
<br>
 &nbsp; &nbsp;<a href="http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Adaptive" target="_blank">http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Adaptive</a><br>
<br>
 &nbsp; &nbsp;Cheers,<br>
 &nbsp; &nbsp;Magnus<br>
<br>
<br>
Donnie Jones wrote:<br>
&gt; Hello sanzhiyan,<br>
&gt;<br>
&gt; I believe this is the same paper, the pdf is available here:<br>
&gt; &nbsp; <a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.3014" target="_blank">http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.3014</a><br>
&gt;<br>
&gt; Cheers.<br>
&gt; __<br>
&gt; Donnie<br>
&gt;<br>
&gt; On Thu, Nov 13, 2008 at 9:02 PM, Don Stewart &lt;<a href="mailto:dons@galois.com">dons@galois.com</a><br>
&gt; &lt;mailto:<a href="mailto:dons@galois.com">dons@galois.com</a>&gt;&gt; wrote:<br>
&gt;<br>
&gt; &nbsp; &nbsp; I sit next to the author, CC&#39;d.<br>
&gt;<br>
&gt; &nbsp; &nbsp; -- Don<br>
&gt;<br>
&gt; &nbsp; &nbsp; sanzhiyan:<br>
&gt; &nbsp; &nbsp; &gt; &nbsp; &nbsp;I&#39;m looking for the source code of the library for adaptive<br>
&gt; &nbsp; &nbsp; computations<br>
&gt; &nbsp; &nbsp; &gt; &nbsp; &nbsp;exposed in Magnus Carlsson&#39;s &quot;Monads for Incremental<br>
&gt; &nbsp; &nbsp; Computing&quot;[1], but<br>
&gt; &nbsp; &nbsp; &gt; &nbsp; &nbsp;the link in the paper is broken.<br>
&gt; &nbsp; &nbsp; &gt; &nbsp; &nbsp;So, does anyone have the sources or knows how to contact the<br>
&gt; &nbsp; &nbsp; author?<br>
&gt; &nbsp; &nbsp; &gt;<br>
&gt; &nbsp; &nbsp; &gt; &nbsp; &nbsp;[1] <a href="http://portal.acm.org/citation.cfm?id=581482" target="_blank">http://portal.acm.org/citation.cfm?id=581482</a><br>
&gt;<br>
&gt; &nbsp; &nbsp; &gt; _______________________________________________<br>
&gt; &nbsp; &nbsp; &gt; Haskell-Cafe mailing list<br>
&gt; &nbsp; &nbsp; &gt; <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a> &lt;mailto:<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a>&gt;<br>
&gt; &nbsp; &nbsp; &gt; <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
&gt;<br>
&gt; &nbsp; &nbsp; _______________________________________________<br>
&gt; &nbsp; &nbsp; Haskell-Cafe mailing list<br>
&gt; &nbsp; &nbsp; <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a> &lt;mailto:<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a>&gt;<br>
&gt; &nbsp; &nbsp; <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
&gt;<br>
&gt;<br>
<br>
----- End forwarded message -----<br>
_______________________________________________<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>
</blockquote></div><br>