<div dir="ltr"><div class="gmail_default" style="font-family:monospace,monospace">Thanks and praise.</div><div class="gmail_default" style="font-family:monospace,monospace">I'm familiar with dual numbers <a href="https://en.wikipedia.org/wiki/Dual_number">https://en.wikipedia.org/wiki/Dual_number</a> and have used them, but I do not</div><div class="gmail_default" style="font-family:monospace,monospace">understand the extra parameter in this code and have no</div><div class="gmail_default" style="font-family:monospace,monospace">idea what a 'tape' is.  Where is that described?<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 23 Jan 2023 at 15:15, Mark Clements <<a href="mailto:mark.clements@ki.se">mark.clements@ki.se</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">As a Christmas project, I have implemented automatic differentiation in Mercury, including both backwards and forwards differentiation. The ad module adapts an approach used in <a href="https://github.com/qobi/AD-Rosetta-Stone/" rel="noreferrer" target="_blank">https://github.com/qobi/AD-Rosetta-Stone/</a>, with a purely functional implementation.<br>
<br>
See <a href="https://github.com/mclements/mercury-ad" rel="noreferrer" target="_blank">https://github.com/mclements/mercury-ad</a> for documentation and some examples.<br>
<br>
Sincerely, Mark.<br>
<br>
<br>
När du skickar e-post till Karolinska Institutet (KI) innebär detta att KI kommer att behandla dina personuppgifter. Här finns information om hur KI behandlar personuppgifter<<a href="https://ki.se/medarbetare/integritetsskyddspolicy" rel="noreferrer" target="_blank">https://ki.se/medarbetare/integritetsskyddspolicy</a>>.<br>
<br>
<br>
Sending email to Karolinska Institutet (KI) will result in KI processing your personal data. You can read more about KI’s processing of personal data here<<a href="https://ki.se/en/staff/data-protection-policy" rel="noreferrer" target="_blank">https://ki.se/en/staff/data-protection-policy</a>>.<br>
_______________________________________________<br>
users mailing list<br>
<a href="mailto:users@lists.mercurylang.org" target="_blank">users@lists.mercurylang.org</a><br>
<a href="https://lists.mercurylang.org/listinfo/users" rel="noreferrer" target="_blank">https://lists.mercurylang.org/listinfo/users</a><br>
</blockquote></div>