La implementación relacionada más cercana en Haskell que he visto es el modo de avance en http://hackage.haskell.org/packages/archive/fad/1.0/doc/html/Numeric-FAD.html. La investigación relacionada re
Estoy teniendo poco éxito en mi trabajo con la fontanería básica de los tipos implicados en el paquete ad. Por ejemplo, la siguiente funciona perfectamente: import Numeric.AD
ex :: Num a => [a] -> a