[Haskell-cafe] ANNOUNCE: fad 1.0 -- Forward Automatic Differentiation library

[Henning Thielemann]

On Thu, 2 Apr 2009, Bjorn Buckwalter wrote:

> I'm pleased to announce the initial release of the Haskell fad
> library, developed by Barak A. Pearlmutter and Jeffrey Mark Siskind.
> Fad provides Forward Automatic Differentiation (AD) for functions
> polymorphic over instances of 'Num'. There have been many Haskell
> implementations of forward AD, with varying levels of completeness,
> published in papers and blog posts[1], but alarmingly few of these
> have made it into hackage -- to date Conal Elliot's vector-spaces[2]
> package is the only one I am aware of.

Do you count computations with power series also as Automatic 
Differentiation? I mean, arithmetic on power series is just working with 
all derivatives simultaneously.

with Haskell 98 type classes:
http://darcs.haskell.org/htam/src/PowerSeries/Taylor.hs

with advanced type classes:
http://hackage.haskell.org/packages/archive/numeric-prelude/0.0.5/doc/html/MathObj-PowerSeries.html