Code snippets accompanying the talk "Automatic Differentiation in Haskell."

This "README.md" and the code snippets contained in this repository are copyright (c) 2016 Daniel Brice, under the terms of the GNU GPL Version 3 (included as "LICENSE.txt").

Do not use these code snippets for anything important. Use Kmett's "ad" package, instead.

Pull requests welcomed.

• Graph y = x^2
• Explain problem, find slope of tangent line at (3, 9)
• Manually approximate, difference quotient

• Implement in Haskell
• Point out problems
  • complexity
  • accuracy

• Think of the expression as an object of study in its own right
• Carry out the algorithm on the expression (not on the numbers)
• arrive at an expression for the derivative

See the talk on YouTube. (Though I hate listening to recordings of myself -_-)

Thanks to Branium for hosting. Thanks to the Santa Monica Haskell User Group for giving me the chance to speak.

Special thanks to Phil Freeman, for noticing that the symbolic differentiation works automatically, without needing to repeat the code in "AutoDiff.hs".

• Justin Domke: Automatic Differentiation: The most criminally underused tool in the potential machine learning toolbox?

• Edward Kmett: The ad package

• Ben Kovach: Symbolic Calculus in Haskell

• Alexey Radul: Introduction to AUTOMATIC DIFFERENTIATION

• Chris Taylor: The Algebra of Algebraic Data Types, Part 3

• DB: Automatic Differentiation is Trivial in Haskell

• DB: AutoDiff