Ed Kmett’s ad package. Probably everything you could ever want if you understand it.

https://hackage.haskell.org/package/ad

https://www.slideshare.net/nebuta/130329-ad-by-ekmett

Conal Elliott - Beautiful Differentiation - There is an implementation in vector-space

http://www.cs.dartmouth.edu/~doug/powser.html

Functional Differentiation of Computer Programs J Karczmarczuk

https://wiki.haskell.org/Functional_differentiation

GR raytracing uses ad package in branch

https://flannelhead.github.io/projects/blackstar.html

https://jtobin.io/ad-via-recursion-schemes

http://www.danielbrice.net/blog/2015-12-01/

http://h2.jaguarpaw.co.uk/posts/why-is-naive-symbolic-differentiation-slow/

general backpropagation

https://colah.github.io/posts/2015-08-Backprop/