Difference between revisions of "Beautiful differentiation (Conal Elliott)"
From apm
(basic page) |
(→External links: added link to MemoTrie library) |
||
| Line 15: | Line 15: | ||
* http://conal.net/papers/beautiful-differentiation/ | * http://conal.net/papers/beautiful-differentiation/ | ||
| − | '''Actually usable implementation:''' | + | '''Actually usable implementation (Haskell library):''' |
| − | * | + | * [https://hackage.haskell.org/package/vector-space '''vector-space:''' Vector & affine spaces, linear maps, and derivatives] |
vector-space provides classes and generic operations for vector spaces and affine spaces. <br> | vector-space provides classes and generic operations for vector spaces and affine spaces. <br> | ||
It also defines a type of infinite towers of generalized derivatives. <br> | It also defines a type of infinite towers of generalized derivatives. <br> | ||
A generalized derivative is a linear transformation rather than one of the common concrete representations (scalars, vectors, matrices, ...). | A generalized derivative is a linear transformation rather than one of the common concrete representations (scalars, vectors, matrices, ...). | ||
| + | |||
| + | * Underlying data storage method: <br>[https://hackage.haskell.org/package/MemoTrie '''MemoTrie:''' Trie-based memo functions] | ||
'''Wikipedia:''' | '''Wikipedia:''' | ||
Revision as of 15:27, 19 October 2021
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:
