该文章介绍了一种新的低级、一阶概率编程语言（LF-PPL），适用于包含连续、离散和/或分段连续变量的模型。该语言能够自动区分与密度函数不连续有关的参数，并提供运行时检查边界交叉的编译方案。通过整合不连续的哈密尔顿蒙特卡洛（DHMC）推断引擎，该语言可以提供自动和高效的非可微模型推断。同时，该系统还有数学形式主义来确保任何表达在该语言中的模型具有密度，且在测度上具有零间断，以维护推断引擎的有效性。