There is this. which is done via a functor rather than camlp4...<br><br><a href="http://wmfarr.blogspot.com/2006/10/automatic-differentiation-in-ocaml.html">http://wmfarr.blogspot.com/2006/10/automatic-differentiation-in-ocaml.html
</a><br><br><div><span class="gmail_quote">On 11/13/06, <b class="gmail_sendername">Jon Harrop</b> &lt;<a href="mailto:jon@ffconsultancy.com">jon@ffconsultancy.com</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>Can someone point me to, or even knock up, a simple camlp4 macro that<br>demonstrates naively but statically computing the symbolic derivative of an<br>OCaml expression?<br><br>This seems like an obvious camlp4 example but I've yet to find it...
<br><br>--<br>Dr Jon D Harrop, Flying Frog Consultancy Ltd.<br>Objective CAML for Scientists<br><a href="http://www.ffconsultancy.com/products/ocaml_for_scientists">http://www.ffconsultancy.com/products/ocaml_for_scientists
</a><br><br>_______________________________________________<br>Caml-list mailing list. Subscription management:<br><a href="http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list">http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
</a><br>Archives: <a href="http://caml.inria.fr">http://caml.inria.fr</a><br>Beginner's list: <a href="http://groups.yahoo.com/group/ocaml_beginners">http://groups.yahoo.com/group/ocaml_beginners</a><br>Bug reports: <a href="http://caml.inria.fr/bin/caml-bugs">
http://caml.inria.fr/bin/caml-bugs</a><br></blockquote></div><br>