YaoXiang RFC(请求评议)索引
RFC(Request for Comments)是YaoXiang语言特性设计提案的正式提交格式。
目录
模板
| 文件 | 说明 |
|---|---|
| RFC_TEMPLATE.md | RFC标准模板 |
| EXAMPLE_full_feature_proposal.md | 完整示例(模式匹配增强) |
草案RFC
| 编号 | 标题 | 作者 | 创建日期 | 状态 |
|---|---|---|---|---|
| RFC-019 | RFC-019: 类型级同像性 (Typed Homoiconicity) - 语法即类型 | 晨煦 | 2026-02-20 | 草案 |
| RFC-028 | RFC-028:JIT 编译器 — VM 内多级执行引擎 | 晨煦 | 2026-06-11 | 草案 |
| RFC-029 | RFC-029: 模块语义系统 | 晨煦 | 2026-06-13 | 草案 |
| RFC-031 | RFC-031:优化级别与 Pass 管理器 | 晨煦 | 2026-06-16 | 草案 |
| RFC-002 | RFC-002:基于 libuv 的资源类型 IO 实现层 | 晨煦 | 2025-01-05 | 草案(重新审核) |
| RFC-026b | RFC-026b: yx-bindgen 工具链 | 晨煦 | 2026-07-03 | 草案 |
| RFC-034 | RFC-034: 统一调试工具链 | 晨煦 | 2026-07-06 | 草案 |
| RFC-035 | RFC-035: MCP Server 支持(AI Agent 集成) | Chen Xu | 2026-07-11 | 草案 |
| RFC-036 | RFC-036: std.test 测试框架与 yaoxiang test 命令 | 晨煦 | 2026-07-25 | 草案 |
| RFC-037 | RFC-037: 工业化分发方案 — 基于 cargo-dist 的编译器/工具链打包 | ChenXu233 | 2026-07-26 | 草案 |
审核中RFC
| 编号 | 标题 | 作者 | 创建日期 | 状态 |
|---|---|---|---|---|
| RFC-026a | RFC-026a: 可扩展 FFI 机制体系 | 晨煦 | 2026-07-03 | 审核中 |
| RFC-032 | RFC-032: spawn 统一表达式修饰 — 消除 spawn for 特殊情况 | 晨煦 | 2026-06-16 | 审核中 |
已接受RFC
| 编号 | 标题 | 作者 | 创建日期 | 状态 |
|---|---|---|---|---|
| RFC-004 | RFC-004: 柯里化方法的多位置联合绑定设计 | 晨煦 | 2025-01-05 | 已接受 |
| RFC-006 | RFC-006: 文档站点建设 | 晨煦 | 2025-01-05 | 已接受 |
| RFC-007 | RFC-007: 函数定义语法统一方案 | 沫郁酱 | 2025-01-05 | 已接受 |
| RFC-008 | RFC-008:Runtime 并发模型与调度器脱耦设计 | 晨煦 | 2025-01-05 | 已接受 |
| RFC-009 | RFC-009: 所有权模型设计 | 晨煦 | 2025-01-08 | 已接受 |
| ↳ RFC-009a | RFC-009a: 令牌生命期分析——基于霍尔证明管道 | 晨煦 | 2026-06-13 | 已接受 |
| RFC-010 | RFC-010: 统一类型语法 - name: type = value 模型 | 晨煦 | 2025-01-20 | 已接受 |
| RFC-011 | RFC-011: 泛型系统设计 - 零成本抽象与宏替代 | 晨煦 | 2025-01-25 | 已接受 |
| ↳ RFC-011a | RFC-011a: 接口实现与动态分发 | 晨煦 | 2026-06-14 | 审核中 |
| RFC-012 | RFC 012: F-String 模板字符串 | Chen Xu | 2025-01-27 | 已接受 |
| RFC-013 | RFC 013: 错误代码规范 | 晨煦 | 2026-02-02 | 已接受 |
| RFC-014 | RFC-014: 包管理系统设计 | 晨煦 | 2026-02-12 | 已接受 |
| ↳ RFC-014a | RFC-014a: Registry 协议规范 | 晨煦 | 2026-06-11 | 审核中RFC |
| ↳ RFC-014b | RFC-014b: 构建系统与二进制分发 | 晨煦 | 2026-06-11 | 审核中RFC |
| ↳ RFC-014c | RFC-014c: 工作空间支持 | 晨煦 | 2026-06-11 | 审核中RFC |
| RFC-015 | RFC-015: YaoXiang 配置系统设计 | 晨煦 | 2026-02-12 | 已接受 |
| RFC-017 | RFC-017: 语言服务器协议(LSP)支持设计 | 晨煦 | 2026-02-15 | 审核中 |
| RFC-018 | RFC-018:LLVM AOT 编译器设计 | 晨煦 | 2026-02-15 | 已接受 |
| RFC-024 | RFC-024:基于 spawn 块的并发模型 | 晨煦 | 2026-06-05 | 已接受 |
| RFC-026 | RFC-026: FFI 核心机制 | 晨煦 | 2026-06-05 | 已接受 |
| RFC-027 | RFC-027:编译期谓词与统一静态验证 | 晨煦 | 2026-06-07 | 已接受 |
| RFC-030 | RFC-030: assert 断言机制 | 晨煦 | 2026-06-15 | 已接受 |
已废弃RFC
| 编号 | 标题 | 作者 | 创建日期 | 状态 |
|---|---|---|---|---|
| RFC-001 | RFC-001:并作模型与错误处理系统 | 晨煦 | 2025-01-05 | 已废弃(被 RFC-024 取代) |
| RFC-020 | RFC-020:动态模块与 FFI 集成 | 晨煦 | 2026-03-14 | 已废弃 |
| RFC-021 | RFC-021: 库驱动 FFI 扩展与跨语言调用支持 | 晨煦 | 2026-03-14 | 已废弃 |
| RFC-022 | RFC 022: 霍尔逻辑静态验证支持(规约注释与规约类型) | 晨煦 | 2026-03-16 | 已废弃(被 RFC-027 取代) |
| RFC-023 | RFC-023: 闭包捕获模型 | 晨煦 | 2026-05-29 | 已废弃 |
已拒绝RFC
| 编号 | 标题 | 作者 | 创建日期 | 状态 |
|---|---|---|---|---|
| RFC-003 | RFC-003:版本规划 | 晨煦 | 2025-01-05 | 已拒绝 |
| RFC-005 | RFC-005: 自动化CVE安全检查系统 | 晨煦 | 2025-01-05 | 已拒绝 |
| RFC-016 | RFC 016: 量子原生支持与多重后端集成 | 晨煦 | 2026-02-13 | 已拒绝 |
| RFC-025 | RFC-025: 可扩展原语类型机制 | 晨煦 | 2026-06-05 | 已拒绝(被 RFC-026 不透明句柄覆盖) |
RFC生命周期
草案 → 审核中 → 已接受 → 已废弃(被取代)
↓
已拒绝(不通过)状态说明
| 状态 | 位置 | 说明 |
|---|---|---|
| 草案 | rfc/draft/ | 作者草稿,等待提交审核 |
| 审核中 | rfc/review/ | 开放社区讨论和反馈 |
| 已废弃 | rfc/deprecated/ | 曾被接受,被新设计取代 | | 已拒绝 | rfc/rejected/ | 被拒绝的RFC文档 |
提交RFC
- 阅读 RFC_TEMPLATE.md 了解格式要求
- 参考 EXAMPLE_full_feature_proposal.md 学习写法
- 创建新文件,命名为
序号-描述性标题.md - 将文件放入
docs/src/design/rfc/draft/目录 - 更新本索引文件,添加新RFC条目
- 提交PR进入审核流程
贡献指南
请参阅 CONTRIBUTING.md 了解贡献指南。
