Difference between revisions of "Typeful symbolic differentiation"

From HaskellWiki
Jump to: navigation, search
(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."