熵最优玻尔兹曼采样器的自动编译期合成
软件工程
2022-08-02 v2 统计计算
摘要
我们提出一个用于 Haskell 中代数数据类型多参数玻尔兹曼采样器自动编译的框架。我们的框架使用 Template Haskell 来合成高效的、熵最优的采样器,以生成用户声明的代数数据类型的随机实例。用户可通过纯声明式接口控制结果分布。例如,用户可控制生成对象的平均大小与构造子频率。我们通过一个原型 generic-boltzmann-brain 库展示了我们框架的有效性,表明在包含数万个 ADT 的系统中控制数千个不同参数是可能的。我们的原型框架合成的玻尔兹曼采样器能够快速生成大小为数百万的随机对象。
引用
@article{arxiv.2206.06668,
title = {Automatic compile-time synthesis of entropy-optimal Boltzmann samplers},
author = {Maciej Bendkowski},
journal= {arXiv preprint arXiv:2206.06668},
year = {2022}
}
备注
Revised content and a new section