语言¶
编译器视角下的 Python DSL。
| 页面 | 内容 |
|---|---|
| Python IR 语法规范 | 模块结构、类型系统、表达式 —— 规范的入口页 |
| 语句与控制流 | 赋值、if/for/while、作用域上下文管理器、yield、编译期指令、SSA phi 节点 |
| 手工依赖原语 | pl.manual_scope、显式 deps= 边、调度谓词、array-carry fence |
| 函数与程序结构 | 函数类型、参数方向、跨模块复用、打印 IR |
| 集成手写 C++ Kernel | 从 PyPTO 程序中调用已有的手写 C++ InCore kernel |
| GM 缓存访问策略 | pl.set_cache_policy / pl.load(cache=...) —— 声明式 GM 缓存策略、它的一致性契约，以及它如何抵达 codegen |