Самая близкая реализация в Haskell, которую я видел, это прямой режим вhttp://hackage.haskell.org/packages/archive/fad/1.0/doc/html/Numeric-FAD.html.

Наиболее близким связанным исследованием является обратный режим для другого функционального языка, связанного со Схемой вhttp://www.bcl.hamilton.ie/~qobi/stalingrad/.

Я рассматриваю реверсивный режим в Haskell как своего рода святой Грааль для многих задач, в надежде, что он сможет использовать параллелизм вложенных данных Haskell, чтобы добиться хорошего ускорения в тяжелой числовой оптимизации.