Skip to content

YaoXiang(Request for Comments)インデックス ​

RFC(Request for Comments)はYaoXiang言語機能設計提案の正式な提出フォーマットです。

目次 ​


テンプレート ​

ファイル説明
RFC_TEMPLATE.mdRFC標準テンプレート
EXAMPLE_full_feature_proposal.md完全なサンプル(パターンマッチング拡張)

ドラフトRFC ​

番号タイトル著者作成日ステータス
RFC-002RFC-002: libuvベースのリソース型IO実装レイヤー晨煦2026-01-05ドラフト
RFC-019RFC-019: 型レベル同像性 (Typed Homoiconicity) - 構文即是型晨煦2026-02-20ドラフト
RFC-028RFC-028: JITコンパイラ — VM内マルチレベル実行エンジン晨煦2026-06-11ドラフト
RFC-031RFC-031: 最適化レベルとPassマネージャー晨煦2026-06-16ドラフト
RFC-033RFC-033: ^^ リフレクション演算子晨煦2026-06-16レビュー中
RFC-034RFC-034: 統一デバッグツールチェーン晨煦2026-07-06ドラフト
RFC-035RFC-035: MCP Serverサポート(AI Agent統合)晨煦2026-07-11ドラフト
RFC-027aRFC-027a: 停止性検査の証明関数フォールバック晨煦2026-09-14ドラフト
RFC-029aRFC-029a: モジュールキャッシュとインクリメンタル再コンパイル晨煦2026-09-07ドラフト

レビュー中RFC ​

番号タイトル著者作成日ステータス
RFC-032RFC-032: spawn統一式修飾子 — spawn for特例の解消晨煦2026-06-16レビュー中

承認済みRFC ​

番号タイトル著者作成日ステータス
RFC-004RFC-004: カリー化メソッドの複数位置ユニオン束縛設計晨煦2025-01-05承認済み
RFC-006RFC-006: ドキュメントサイト構築晨煦2025-01-05承認済み
RFC-007RFC-007: 関数定義構文統一スキーム沫郁酱2025-01-05承認済み
RFC-008RFC-008: Runtime並行モデルとスケジューラの脱結合設計晨煦2025-01-05承認済み
RFC-009RFC-009: 所有権モデル設計晨煦2025-01-08承認済み
↳ RFC-009aRFC-009a: トークンライフタイム解析——Hoare証明パイプラインに基づく晨煦2026-06-13承認済み
RFC-010RFC-010: 統一型構文 - name: type = valueモデル晨煦承認済み
↳ RFC-010aRFC-010a: 末尾式評価とreturnセマンティクス晨煦2026-09-15承認済み
↳ RFC-010bRFC-010b: パターンマッチング完備化(バリアント分解と網羅性)晨煦2026-09-03ドラフト
RFC-011RFC-011: ジェネリクスシステム設計 - ゼロコスト抽象とマクロ代替晨煦承認済み
↳ RFC-011aRFC-011a: インターフェース実装と動的ディスパッチ晨煦2026-06-14承認済み
↳ RFC-011bRFC-011b: 演算子オーバーロードとインターフェース駆動演算子晨煦2026-09-22承認済み
RFC-012RFC-012: F-Stringテンプレート文字列Chen Xu2025-01-27承認済み
RFC-013RFC-013: エラーコード仕様晨煦2026-02-02承認済み
RFC-014RFC-014: パッケージ管理システム設計晨煦2026-02-12承認済み
↳ RFC-014aRFC-014a: Registryプロトコル仕様晨煦2026-06-11レビュー中RFC
↳ RFC-014bRFC-014b: ビルドシステムとバイナリ配布晨煦2026-06-11レビュー中RFC
↳ RFC-014cRFC-014c: ワークスペースサポート晨煦2026-06-11レビュー中RFC
RFC-015RFC-015: YaoXiang設定システム設計晨煦2026-02-12承認済み
RFC-017RFC-017: Language Server Protocol (LSP) サポート設計晨煦2026-02-15実装済み
RFC-018RFC-018: LLVM AOTコンパイラ設計晨煦2026-02-15承認済み
RFC-024RFC-024: spawnベースの並行ランタイムセマンティクス晨煦2026-06-05承認済み(改訂版)
RFC-026RFC-026: FFIコアカーネルメカニズム晨煦2026-07-03承認済み
↳ RFC-026aRFC-026a: 拡張可能FFIメカニズム体系晨煦2026-06-05レビュー中RFC
↳ RFC-026bRFC-026b: yx-bindgenツールチェーン晨煦2026-06-05ドラフトRFC
RFC-027RFC-027: コンパイル時述語と統一静的検証晨煦2026-06-07承認済み
RFC-029RFC-029: モジュール意味論システム晨煦2026-06-13承認済み
RFC-030RFC-030: assertアサートメカニズム晨煦2026-06-15承認済み
RFC-036RFC-036: std.testテストフレームワークとyaoxiang testコマンド晨煦2026-07-26承認済み
RFC-037RFC-037: 産業化配布スキーム — cargo-distベースのコンパイラ/ツールチェーンパッケージングChenXu2332026-07-26承認済み
RFC-038RFC-038: 文終端と改行ルール (Statement Termination & Newline Rules)ChenXu2332026-08-05承認済み
RFC-029fRFC-029f: コンパイルターゲット役割とインポート面意味論晨煦2026-09-12承認済み

廃止RFC ​

番号タイトル著者作成日ステータス
RFC-001RFC-001: spawnモデルとエラーハンドリングシステム晨煦2025-01-05廃止(RFC-024に置換)
RFC-020RFC-020: 動的モジュールとFFI統合晨煦2026-03-14廃止
RFC-021RFC-021: ライブラリ駆動FFI拡張と他言語呼び出しサポート晨煦2026-03-14廃止
RFC-022RFC-022: Hoare論理静的検証サポート(仕様注釈と仕様型)晨煦2026-03-16廃止(RFC-027に置換)
RFC-023RFC-023: クロージャキャプチャモデル晨煦2026-05-29廃止

拒否されたRFC ​

番号タイトル著者作成日ステータス
RFC-003RFC-003: バージョン計画晨煦2025-01-05拒否
RFC-005RFC-005: 自動CVEセキュリティチェックシステム晨煦2025-01-05拒否
RFC-016RFC-016: 量子ネイティブサポートと複数バックエンド統合晨煦2026-02-13拒否
RFC-025RFC-025: 拡張可能プリミティブ型メカニズム晨煦2026-06-05拒否

RFCライフサイクル ​

ドラフト → レビュー中 → 承認済み → 廃止(置換)
                    ↓
                拒否(不承認)

ステータス説明 ​

ステータス場所説明
ドラフトrfc/draft/著者の下書き、レビュー提出待ち
レビュー中rfc/review/コミュニティでの議論とフィードバック募集中
承認済みrfc/accepted/正式な設計ドキュメントとなり、実装段階へ
廃止rfc/deprecated/一度承認されたが、新しい設計に置換された
拒否rfc/rejected/拒否されたRFCドキュメント

ドキュメント改訂ルール ​

RFCドキュメントには正しい情報のみを含める必要があります。 設計変更時は、原文を直接修正して現在の正しい意味を表現してください。 誤った内容を残したまま「正誤表」ブロックを追加して修正してはいけません。

「原文 + 正誤表」の保持は最悪の書き方です:読者は半分まで読んで初めて前がすべて無効だったと気付き、これまでの読書コストが無駄になります。また、廃止された段落を現行の意味として引用してしまう恐れがあります。正誤表ブロックは一見慎重にみえますが、実際には整理コストを読者に転嫁しています。

正しい方法 ​

状況方法
実装と原文が一致しない、原文が覆された場合その段落を正しい内容に直接書き換え、元の表現を削除する
サンプルコードが実行できなくなった古いサンプルを残さず、実行可能な形にそのまま修正する
読者に「以前はどのようなものだったか」を伝えたい意図的に誤りとの比較を行う際にのみ誤った内容を残し、隣接して「この書き方は誤り」とその理由を明記する
設計の変遷を遡りたいGitコミットメッセージまたはissueに書き、RFC本文には記載しない

例外 ​

以下の誤った情報は保持できます:

  • 意図的な誤りとの比較教育:正誤対照として明確にラベル付けし、誤り側には隣接して「なぜ誤りか」を説明する
  • 廃止されたRFC(rfc/deprecated/):歴史的記録として残すが、何に置換されたかを明記する

補助手段 ​

  • RFC上部のstatus / updatedフィールドが最新の改訂時間を反映するため、本文に「今回の改訂内容」を書く必要はありません
  • 実装ステータスは表の✅ / ❌で表現し、本文に状態の叙述を挟み込まないようにします
  • 完全な改訂履歴はgit log -- <ファイル>で確認してください

RFCを提出する ​

  1. RFC_TEMPLATE.md を読んでフォーマット要件を確認する
  2. EXAMPLE_full_feature_proposal.md を参考に書き方を学ぶ
  3. 番号-説明的なタイトル.md という名前で新しいファイルを作成する
  4. ファイルを docs/reference/rfc/draft/ ディレクトリに配置する
  5. 本インデックスファイルを更新し、新しいRFCエントリを追加する
  6. PRを提出してレビュープロセスに入る

コントリビューションガイド ​

コントリビューションガイドについては CONTRIBUTING.md を参照してください。