程序特化

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