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. (Magnus didn't mention Applicative by name, as his paper preceded Idiom/Applicative.) However, I don't see an Applicative instance in the library.<br>
<br> - Conal<br><br><div class="gmail_quote">On Thu, Nov 13, 2008 at 7:46 PM, Don Stewart <span dir="ltr"><<a href="mailto:dons@galois.com">dons@galois.com</a>></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>
Thanks to Peter Jonsson, the source is now on hackage:<br>
<br>
<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>
Cheers,<br>
Magnus<br>
<br>
<br>
Donnie Jones wrote:<br>
> Hello sanzhiyan,<br>
><br>
> I believe this is the same paper, the pdf is available here:<br>
> <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>
><br>
> Cheers.<br>
> __<br>
> Donnie<br>
><br>
> On Thu, Nov 13, 2008 at 9:02 PM, Don Stewart <<a href="mailto:dons@galois.com">dons@galois.com</a><br>
> <mailto:<a href="mailto:dons@galois.com">dons@galois.com</a>>> wrote:<br>
><br>
> I sit next to the author, CC'd.<br>
><br>
> -- Don<br>
><br>
> sanzhiyan:<br>
> > I'm looking for the source code of the library for adaptive<br>
> computations<br>
> > exposed in Magnus Carlsson's "Monads for Incremental<br>
> Computing"[1], but<br>
> > the link in the paper is broken.<br>
> > So, does anyone have the sources or knows how to contact the<br>
> author?<br>
> ><br>
> > [1] <a href="http://portal.acm.org/citation.cfm?id=581482" target="_blank">http://portal.acm.org/citation.cfm?id=581482</a><br>
><br>
> > _______________________________________________<br>
> > Haskell-Cafe mailing list<br>
> > <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a> <mailto:<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>
><br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a> <mailto:<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>
><br>
><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>