intermediate-representation

本文讨论了部分静态单信息（SSI）形式，这是一种编译器中 SSA 的扩展，用于捕获依赖于路径的类型信息。文章提出了一种在动态语言中构建 SSA 期间实现部分 SSI 的实用捷径，具体引用了 Ruby 的 ZJIT 中的实现。

jank 是一种 Clojure 方言，现已引入一种在 Clojure 语义层面设计的自定义中间表示，以实现更好的优化并与 JVM 竞争。

SkCC 是一个编译框架，利用强类型中间表示实现在不同框架间可移植地部署代理技能，同时强制执行安全性，显著提升性能并减少维护负担。