Haskell是否有反向模式自动微分的工作实现？
我在Haskell中看到的最接近的相关实现是位于的forward模式 最近的相关研究似乎是与Scheme at相关的另一种函数式语言的反向模式Haskell是否有反向模式自动微分的工作实现？,haskell,automatic-differentiation,Haskell,Automatic Differentiation,我在Haskell中看到的最接近的相关实现是位于的forward模式 最近的相关研究似乎是与Scheme at相关的另一种函数式语言的反向模式 我认为Haskell中的反向模式对于很多任务来说都是一个圣杯，希望它能利用Haskell的嵌套数据并行性在大规模数值优化中获得很好的加速。我不知道。我确实知道在自动区分中，但一些快速挖掘发现，除了提到反向模式的短旁白外，没有什么更多；我想你已经找到和我一样的材料了 我还注意到，你发现的fad软件包和斯大林格勒项目实际上是同一个项目的工作，至少Pearlm
我认为Haskell中的反向模式对于很多任务来说都是一个圣杯，希望它能利用Haskell的嵌套数据并行性在大规模数值优化中获得很好的加速。我不知道。我确实知道在自动区分中，但一些快速挖掘发现，除了提到反向模式的短旁白外，没有什么更多；我想你已经找到和我一样的材料了 我还注意到，你发现的
fad对不起，我找不到更有用的东西；如果其他人想进一步挖掘，至少上面的链接是一个起点。我们有很多正向模式广告实现（我甚至在我的monoids库中有一个！），但Haskell所有人的反向模式广告似乎都很棘手 可悲的是，虽然Pearlmutter和Siskind给出了lambda演算的翻译，但它并没有映射到你可以为任意Haskell lambdas做的事情，你没有得到正确的内省属性，并且考虑到类型在翻译中的形状变化，你没有得到适合打包到monad中的东西，arrow，或其他控制结构
我通过与Pearlmutter的一系列电子邮件交流尝试了一下，但最终我能获得的最好结果是为Haskell的一个小型EDSL提供了一个反向模式广告解决方案，而不是为Haskell本身提供的解决方案。我认为前进是Haskell的方向。正如Edward指出的，您不应该在任意函数上执行反向模式。但您回答说，您应该能够在某些受约束的函数上执行此操作。并且所述约束可以容易地导致前向模式。如果你有一个功能：
foo :: Num a => a -> a -> a
afoo有关非常优雅的正向模式自动区分，请参阅Hackage上的库。一开始可能并不完全清楚如何使用它。阅读由Conal Elliott撰写的关于此问题的论文。为了回答这个问题，我上传了一个名为to Hackage的包，用于处理Haskell中的反向模式自动微分 在内部，它利用安迪·吉尔（Andy Gill）的《堪萨斯熔岩》（Kansas Lava）中的一个技巧来观察其录制的磁带中的共享情况，以便进行反向传播，并使用类型级品牌来避免混淆敏感度 我试图使API与巴拉克·珀尔穆特（Barak Pearlmutter）和杰弗里·马克·西斯金德（Jeffrey Mark Siskind）的时尚软件包保持相对接近，但为了通用性，我忍不住在这里和那里做了一些小的调整
我仍然需要完成剩下的未实现的fad组合器，找到一种构建反向模式广告塔的好方法，验证我没有忘记基本的演算，并提供一个很好的API来使用这种方法在其他正向模式广告程序中获取本地反向模式检查点，但我很高兴事情发展到目前为止。你说的“哈斯克尔的一切”是什么意思？您不能期望区分所有函数。您只想区分写入特定接口的函数，例如
Num