From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <yminsky@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.3 required=5.0 tests=AWL,HTML_MESSAGE,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 688B9BC68
	for <caml-list@yquem.inria.fr>; Wed, 15 Nov 2006 13:37:33 +0100 (CET)
Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.228])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kAFCbWtl027828
	for <caml-list@inria.fr>; Wed, 15 Nov 2006 13:37:32 +0100
Received: by wx-out-0506.google.com with SMTP id i31so199485wxd
        for <caml-list@inria.fr>; Wed, 15 Nov 2006 04:37:30 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:references:x-google-sender-auth;
        b=FHZZ8Vgz5s4ElG8BOu8dd5pl3uklY/wZ63h3JtY2+0QHhuM4AaV0e5p4Rj6I+jpVW/oh5S1to2MKlsavE0Hcn4ZA0ImLxiYv1EIKwzjz9JQaRC3DEqcHJt1Li/AiMRwwzmcYxNDhPklJmBW8j6p+egCEHBuJ/W0oH5NF6pex9bs=
Received: by 10.70.59.17 with SMTP id h17mr3216926wxa.1163594250012;
        Wed, 15 Nov 2006 04:37:30 -0800 (PST)
Received: by 10.70.61.5 with HTTP; Wed, 15 Nov 2006 04:37:29 -0800 (PST)
Message-ID: <891bd3390611150437g489d22bbm14aef5c0d4e91ebb@mail.gmail.com>
Date: Wed, 15 Nov 2006 07:37:29 -0500
From: "Yaron Minsky" <yminsky@cs.cornell.edu>
Sender: yminsky@gmail.com
To: "Jon Harrop" <jon@ffconsultancy.com>
Subject: Re: [Caml-list] Symbolic derivative macro
Cc: caml-list@inria.fr
In-Reply-To: <200611140413.18232.jon@ffconsultancy.com>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_67486_33055729.1163594249962"
References: <200611140413.18232.jon@ffconsultancy.com>
X-Google-Sender-Auth: 0743efd4299ba00d
X-Miltered: at discorde with ID 455B0A0C.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; yaron:01 minsky:01 yminsky:01 derivative:01 functor:01 camlp:01 camlp:01 statically:01 derivative:01 ocaml:01 ocaml:01 beginner's:01 bug:01 functor:01 statically:01 

------=_Part_67486_33055729.1163594249962
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

There is this. which is done via a functor rather than camlp4...

http://wmfarr.blogspot.com/2006/10/automatic-differentiation-in-ocaml.html

On 11/13/06, Jon Harrop <jon@ffconsultancy.com> wrote:
>
>
> Can someone point me to, or even knock up, a simple camlp4 macro that
> demonstrates naively but statically computing the symbolic derivative of
> an
> OCaml expression?
>
> This seems like an obvious camlp4 example but I've yet to find it...
>
> --
> Dr Jon D Harrop, Flying Frog Consultancy Ltd.
> Objective CAML for Scientists
> http://www.ffconsultancy.com/products/ocaml_for_scientists
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

------=_Part_67486_33055729.1163594249962
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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>

------=_Part_67486_33055729.1163594249962--