研究

深入的研究表明支持特定的设计文档。 每个小节都是一个 MEP(Mochi 增强提案)或类似设计概要的基础。

支持特定设计文档的长篇研究笔记。 每个小节都收集文献、系统研究和一个决策工件的出处。

科目

  • 内存管理Mochi MEP-41 的基础:能力机器、世代参考、所有权系统、运行时技术、形式验证和 2026 年行业政策。
  • 本机代码发射Mochi MEP-42 的基础:复制和修补 JIT、C-as-target AOT、目标 ISA 和 ABI、对象格式、链接器、运行时、调试信息和最新的代码生成论文。
  • Mochi-to-C Transpiler -- Mochi MEP-45 的基础:MEP-42 的 C-AOT 一半,分为关于语言表面、运行时、代码生成、类型降低、可移植性、构建系统和风险的 12 个注释。