设计原理

本节为筹划中的内容。

深入探讨鳄霸（Croqtile）设计理念、权衡取舍与前沿挑战的系列文章——风格类似 MLIR 的设计原理文档。

计划主题

• 为何选择 DSL 而非库？
• 形状类型系统设计原理
• 转译 vs IR：源到源的设计选择
• 内存序与事件语义
• Tileflow 优化遍
• 为何符号形状对可组合性至关重要
• Warp 特化：编译器调度 vs 用户控制