Skip to content

YaoXiang RFC (Request for Comments) Index

RFC (Request for Comments) is the formal submission format for YaoXiang language feature design proposals.

Table of Contents


Template

FileDescription
RFC_TEMPLATE.mdRFC Standard Template
EXAMPLE_full_feature_proposal.mdFull Example (Pattern Matching Enhancement)

Draft RFCs

NumberTitleAuthorCreated DateStatus
RFC-019RFC-019: Typed Homoiconicity - Syntax as Types晨煦2026-02-20Draft
RFC-028RFC-028: JIT Compiler - Multi-Level Execution Engine in VM晨煦2026-06-11Draft
RFC-029RFC-029: Module Semantics System晨煦2026-06-13Draft
RFC-031RFC-031: Optimization Levels and Pass Manager晨煦2026-06-16Draft
RFC-002RFC-002: libuv-based Resource Type IO Implementation Layer晨煦2025-01-05Draft (Re-review)
RFC-026bRFC-026b: yx-bindgen Toolchain晨煦2026-07-03Draft
RFC-034RFC-034: Unified Debug Toolchain晨煦2026-07-06Draft
RFC-035RFC-035: MCP Server Support (AI Agent Integration)Chen Xu2026-07-11Draft
RFC-036RFC-036: std.test Test Framework and yaoxiang test Command晨煦2026-07-25Draft
RFC-037RFC-037: Industrial Distribution Solution - Compiler/Toolchain Packaging via cargo-distChenXu2332026-07-26Draft

RFCs Under Review

NumberTitleAuthorCreated DateStatus
RFC-026aRFC-026a: Extensible FFI Mechanism System晨煦2026-07-03Under Review
RFC-032RFC-032: Unified spawn Expression Modifiers - Eliminating spawn for Edge Cases晨煦2026-06-16Under Review

Accepted RFCs

NumberTitleAuthorCreated DateStatus
RFC-004RFC-004: Multi-Position Union Binding Design for Curried Methods晨煦2025-01-05Accepted
RFC-006RFC-006: Documentation Site Construction晨煦2025-01-05Accepted
RFC-007RFC-007: Function Definition Syntax Unification Scheme沫郁酱2025-01-05Accepted
RFC-008RFC-008: Runtime Concurrency Model and Scheduler Decoupling Design晨煦2025-01-05Accepted
RFC-009RFC-009: Ownership Model Design晨煦2025-01-08Accepted
↳ RFC-009aRFC-009a: Token Lifetime Analysis - Hoare Proof Pipeline晨煦2026-06-13Accepted
RFC-010RFC-010: Unified Type Syntax - name: type = value Model晨煦2025-01-20Accepted
RFC-011RFC-011: Generic Type System Design - Zero-Cost Abstraction and Macro Replacement晨煦2025-01-25Accepted
↳ RFC-011aRFC-011a: Interface Implementation and Dynamic Dispatch晨煦2026-06-14Under Review
RFC-012RFC 012: F-String Template StringsChen Xu2025-01-27Accepted
RFC-013RFC 013: Error Code Specification晨煦2026-02-02Accepted
RFC-014RFC-014: Package Manager System Design晨煦2026-02-12Accepted
↳ RFC-014aRFC-014a: Registry Protocol Specification晨煦2026-06-11Under Review RFC
↳ RFC-014bRFC-014b: Build System and Binary Distribution晨煦2026-06-11Under Review RFC
↳ RFC-014cRFC-014c: Workspace Support晨煦2026-06-11Under Review RFC
RFC-015RFC-015: YaoXiang Configuration System Design晨煦2026-02-12Accepted
RFC-017RFC-017: Language Server Protocol (LSP) Support Design晨煦2026-02-15Under Review
RFC-018RFC-018: LLVM AOT Compiler Design晨煦2026-02-15Accepted
RFC-024RFC-024: Concurrency Model Based on spawn Blocks晨煦2026-06-05Accepted
RFC-026RFC-026: FFI Core Mechanism晨煦2026-06-05Accepted
RFC-027RFC-027: Compile-time Predicates and Unified Static Verification晨煦2026-06-07Accepted
RFC-030RFC-030: assert Mechanism晨煦2026-06-15Accepted

Deprecated RFCs

NumberTitleAuthorCreated DateStatus
RFC-001RFC-001: Concurrent Model and Error Handling System晨煦2025-01-05Deprecated (superseded by RFC-024)
RFC-020RFC-020: Dynamic Modules and FFI Integration晨煦2026-03-14Deprecated
RFC-021RFC-021: Library-Driven FFI Extension and Cross-Language Call Support晨煦2026-03-14Deprecated
RFC-022RFC 022: Hoare Logic Static Verification Support (Specification Annotations and Specification Types)晨煦2026-03-16Deprecated (superseded by RFC-027)
RFC-023RFC-023: Closure Capture Model晨煦2026-05-29Deprecated

Rejected RFCs

NumberTitleAuthorCreated DateStatus
RFC-003RFC-003: Version Planning晨煦2025-01-05Rejected
RFC-005RFC-005: Automated CVE Security Scanning System晨煦2025-01-05Rejected
RFC-016RFC 016: Quantum Native Support and Multi-Backend Integration晨煦2026-02-13Rejected
RFC-025RFC-025: Extensible Primitive Type Mechanism晨煦2026-06-05Rejected (covered by RFC-026 opaque handles)

RFC Lifecycle

Draft → Under Review → Accepted → Deprecated (superseded)

                    Rejected (not approved)

Status Descriptions

StatusLocationDescription
Draftrfc/draft/Author's draft, awaiting review submission
Under Reviewrfc/review/Open for community discussion and feedback
Deprecatedrfc/deprecated/Previously accepted, superseded by new design
Rejectedrfc/rejected/RFC documents that were rejected

Submitting an RFC

  1. Read RFC_TEMPLATE.md to understand format requirements
  2. Reference EXAMPLE_full_feature_proposal.md to learn the writing style
  3. Create a new file named number-descriptive-title.md
  4. Place the file in the docs/src/design/rfc/draft/ directory
  5. Update this index file to add the new RFC entry
  6. Submit a PR for the review process

Contribution Guidelines

Please refer to CONTRIBUTING.md for contribution guidelines.