Probabilistic Program Inference

该 Haskell 实验实现了带布尔值、u8、Bernoulli/均匀采样、观测、条件与循环的微型命令式概率语言，并同时支持精确推断和采样。语义把概率条件化在程序终止这一事件上，因此示例中的硬币循环可得到奇数次终止概率 2/3、偶数次 1/3，而完全不终止的程序没有结果。这个处理把概率程序里常被忽略的非终止偏差直接摆到台面上，但小类型系统也限定了它目前更适合语义研究。