Difference between revisions of "Typeful symbolic differentiation"
Jump to navigation
Jump to search
Tomjaguarpaw (talk | contribs) (Deleting article that hasn't been edited for over 10 years) |
m (Reverted edits by Tomjaguarpaw (talk) to last revision by DonStewart) |
||
Line 1: | Line 1: | ||
+ | [[Category:Idioms]] |
||
+ | |||
+ | [http://www.haskell.org/pipermail/haskell/2004-November/014939.html Typeful symbolic differentiation] |
||
+ | |||
+ | Oleg Kiselyov writes: |
||
+ | |||
+ | "A `symbolic' differentiator for a subset of Haskell functions (which covers arithmetics and a bit of trigonometry). We can evaluate our functions _numerically_ -- and differentiate them _symbolically_. Partial derivatives are supported as well." |
Revision as of 15:16, 6 February 2021
Typeful symbolic differentiation
Oleg Kiselyov writes:
"A `symbolic' differentiator for a subset of Haskell functions (which covers arithmetics and a bit of trigonometry). We can evaluate our functions _numerically_ -- and differentiate them _symbolically_. Partial derivatives are supported as well."