言語: 所有権・参照セマンティクス RFC

[ryuichi1208]

目的

値型と heap-backed 型の意味論、関数引数の渡し方（値 / 参照 / move）、ライフタイムの扱いを明文化する。

背景

現状の暗黙ルール（推測）:

• int / float / bool は値型
• string / Bytes / List[T] は heap-backed (内部ポインタ)
• ファイバー間で spawn f(s) した場合、s (str) の所有権はどうなる？

#67 メモリ管理戦略 RFC が "TBD" のまま放置されていることもあり、GC / ARC / borrow checker のいずれを採るかが浮いている。

スコープ

• 値型と参照型の境界を明記
• 関数引数のパッシングルール
• spawn 時のキャプチャ意味論（値 / 参照 / move）
• tcp_close / file_close 後の use-after-free 防止策

検討事項

• 完全 GC (Go)
• ARC (Swift)
• Rust 風 borrow checker（重い）
• 単純な値コピー + heap は単純参照（C風、安全性は低い）

関連

• 連携: docs: メモリ管理戦略 RFC (06-memory-tbd.md) #67 (メモリ管理戦略 RFC)
• 影響: 言語: try / except / raise によるエラー処理 #14 try/except の例外パス、言語: 整数型バリエーション (i32/i64/u32/u64/usize) #103 defer のリソース管理