[Haskell-cafe] Automatic differentiation and dimension types

Douglas McClean douglas.mcclean at gmail.com
Fri Jan 17 21:23:13 UTC 2014

Has anyone explored the intersection between automatic differentiation and
dimension types (like those in the dimensional package or along the lines
of any of the approaches discussed at

It's tricky because for ordinary automatic differentiation the types are
all the same, but when dimensions get involved that isn't the case, you
have to keep dividing by the dimension of the infinitesimal.

-Doug McClean
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140117/b4d8686e/attachment.html>

More information about the Haskell-Cafe mailing list