Barak A. Pearlmutter

That sounds very sensible. I doubt it's anything Debian-specific.

(Although the Debian build scripts don't use the Makefile, they use cmake directly, mainly because going via the Makefile caused the executable to be installed in /usr/local/bin/ and I didn't...

I just pushed a suitable added stanza to travis on the master branch of my fork.

Not entirely. ``` Prelude Numeric.AD.Rank1.Forward> :t diff diff :: Num a => (Forward a -> Forward a) -> a -> a Prelude Numeric.AD.Rank1.Forward> diff (\x -> diff (x*) 2) 3...

(I understand that `duF` can do it. But that is something of a wart! These things should be unified. Maybe the type system isn't up to it, but if so,...

I guess that's one way to think about it. In more mathematical terms, the "tangent space" is always a vector space. I directional derivative maps a point on the input...

We could use fancy types, let the type constraint `Tang t tt` mean that the tangent type of `t` is `tt`, have things like `(Tang t tt, Tang u uu)...

Wouldn't that "brand" type go in the constraint but not the instance, so it could be the same in the various constraints on the LHS of the instance declaration. (With...

My name is Barak Pearlmutter and I approve of this idea.

Do you have any reason to think that it isn't converging to the minimum? What you show is that in 10000 iterations it hasn't made much progress. But it does...