stanc3:Stan编译器(从Stan到C ++及更高版本) 源码

新的Stan-to-C ++编译器stanc3 此存储库包含用OCaml编写的Stan新编译器stanc3。 要了解有关我们为什么要构建此代码的更多信息,请参阅此。 有关如何选择OCaml的一些讨论,请参阅。 我们在每个请求请求上测试(在“测试结果”下列出),并认为我们目前可以与以前的Stan编译器保持同等水平,并且大多数情况下向后兼容(请参见此 ,以获取较小的差异列表)。 高级概念,不变式和30,000英尺的视图 Stanc3有3个主要的src软件包: frontend , middle和stan_math_backend 。 中间包含MIR以及当前两端使用的任何类型或功能。 编译器的入口点在src/stanc/stanc.ml ,它将各个组件排序在一起。 不同的Stanc阶段 斯坦语言为标记。 Stan语言为AST,可以非常紧密地表示语法,并有助于开发漂亮的打印机和短绒。 stan