Difference between revisions of "Beautiful differentiation (Conal Elliott)"
From apm
(→External links: added link to MemoTrie library) |
(added back-links * Diffing * Useful math) |
||
Line 9: | Line 9: | ||
* [[Constructive solid geometry]] | * [[Constructive solid geometry]] | ||
+ | * [[Diffing]] | ||
+ | * [[Useful math]] | ||
== External links == | == External links == |
Revision as of 13:03, 1 January 2023
Automatic differentiation but:
- generalized to arbitrary dimensionality
- generalized to arbitrary order
- employing lazy evaluation – allowing to avoid obfuscation of code
Related
External links
Central page linking to all relevant material:
Actually usable implementation (Haskell library):
vector-space provides classes and generic operations for vector spaces and affine spaces.
It also defines a type of infinite towers of generalized derivatives.
A generalized derivative is a linear transformation rather than one of the common concrete representations (scalars, vectors, matrices, ...).
- Underlying data storage method:
MemoTrie: Trie-based memo functions
Wikipedia: