@hackage horde-ad0.1.0.0

Higher Order Reverse Derivatives Efficiently - Automatic Differentiation

  • Installation

  • Tested Compilers

  • Dependencies (52)

  • Dependents (0)

  • Package Flags

      with_expensive_assertions
       (off by default)

      turn on expensive assertions of well-tested code

      release
       (on by default)

      remember to set before tagging for a release (to expose internal functions and types, disable tests that depend on not packaged data, etc.)

      test_seq
       (off by default)

      run all of the test suite in sequential mode

An Automatic Differentiation library originally inspired by the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation" (POPL 2022). Compared to the paper and to classic taping AD Haskell packages, the library additionally efficiently supports array operations and generation of symbolic derivative programs, though the efficiency is confined to a narrowly typed class of source programs with limited higher-orderness. A detailed account of the extension is in the paper by Tom Smeding, Mikolaj Konarski, Simon Peyton Jones and Andrew Fitzgibbon available at http://arxiv.org/abs/2507.12640.