Wie mache ich eine automatische Differenzierung bei komplexen Datentypen?

Gegeben eine sehr einfache Matrixdefinition basierend auf Vector: import Numeric.AD import qualified Data.Vector as V newtype Mat a = Mat { unMat :: V.Vector a } scale' f = Mat . V.map (*f) . unMat add' a b = Mat $ V.zipWith (+) (unMat a) (unMat ...

Differentieller Operator, der in Matrixform im Python-Modul Sympy verwendet werden kann

Wir brauchen zwei Matrizen von Differentialoperatoren

Vermeiden Sie das Sortieren von Argumenten in Python-Modul Sympy

Gibt es eine funktionierende Implementierung der automatischen Umkehrmodus-Differenzierung für Haskell?

Die naheliegendste Implementierung in Haskell, die ich gesehen habe, ist der Weiterleitungsmodus ...