[Haskell-cafe] Automatic differentiation and dimension types

[Douglas McClean]

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
http://www.haskell.org/haskellwiki/Physical_units)?

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>