仿射单子与贝叶斯编程的惰性结构
摘要：用于编程的流和延迟数据结构是无穷维贝叶斯方法（如泊松过程，高斯过程，跳跃过程，狄利克雷过程和Beta过程）的自然手法。我们的关键语义思想是根据合成概率论的发展，使用两个单独的单子：一个支持惰性的概率仿射单子，和一个不支持惰性的可交换，非仿射度量单子(仿射意指T(1)≈1)。我们展示了从可决定性的角度来看，这种分离非常重要，并且最近的拟波雷尔空间模型支持这两个单子。为了对这些例子进行贝叶斯推断，我们引入了适用于惰性的新推断方法；它们通过参考Metropolis-Hastings-Green方法被证明是正确的。我们的理论开发被实现为Haskell库LazyPPL。
作者：Swaraj Dash and Younesse Kaddar and Hugo Paquet and Sam Staton
论文ID：2212.07250
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-12-15