Beautiful differentiation (Conal Elliott): Difference between revisions
Jump to navigation
Jump to search
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: