Stax

从「即时编译是一种程序特化」出发，讲清 Stax 的守卫与特化键、执行期代理追踪、数据相关控制流的处理，以及改写系统下的代数恒等式、常量折叠、公共子表达式消除与算子级分解。

TensorPlay 默认编译后端 Stax 的系统讲解：六个部分依次覆盖特化与缓存、图捕获、图变换、自动微分与重物化、循环级中间表示、调度与融合、CPU 与 GPU 代码生成、动态形状，最后给出测量的统计模型与习题。