metaprob:一种用于概率编程和元编程的嵌入式语言 源码

元概率 嵌入的一种用于概率编程和元编程的语言。 注意:Metaprob当前是不稳定的研究原型,几乎没有文档,而且测试覆盖率很低。 同样,将来的版本可能与此版本不向后兼容。 我们不建议将其用于基础研究以外的任何目的,并且尚不能为MIT概率计算项目之外的用户提供支持。 主要特征 可以通过生成代码表示模型,即可以随机选择的普通代码 模型也可以通过近似表示,例如具有非平凡权重的重要性采样器 定制推理算法可以通过反射性语言结构以用户空间代码编写,用于: 跟踪程序执行 使用部分跟踪来指定干预和约束 通用推理算法是通过标准库中的用户空间代码提供的; 添加新算法不需要修改语言实现 所有推理算法都是普通的