Help with recursive type for automatic differentiation (Taylor Numbers) as in a Haskell example

As described in some of my other posts, I have also implemented higher order recursive dual numbers:

It’s not fully optimized for automatic differentiation yet, but has the general functionality for doing dual quaternions and other geometries.

1 Like