言語仕様

yaoxiang 言語の構文と意味論の仕様書です。

目次

• 構文仕様 - 字句構造、文法規則、演算子優先順位
• 型システム - 基本型、複合型、ジェネリクス、trait
• モジュールシステム - モジュール定義、インポート/エクスポート、スコープ
• 並行モデル - {} ブロックのセマンティクス、spawn 並行プリミティブ、エラー処理、リソース型
• 標準ライブラリ - コアライブラリ、IOライブラリ、数学ライブラリ

概要

本仕様書は YaoXiang プログラミング言語のコア構文と意味論を定義します。言語の権威ある参照文書であり、コンパイラおよびツール開発者向けです。

仕様書の構成

1. 構文仕様：言語の字句構造、文法規則、演算子優先順位を定義します
2. 型システム：言語の型システムを定義します。基本型、複合型、ジェネリクス、trait を含みます
3. モジュールシステム：言語のモジュールシステムを定義します。モジュール定義、インポート/エクスポート、スコープを含みます
4. 並行モデル：言語の並行モデルを定義します。非同期プログラミング、並行プリミティブ、メモリモデルを含みます
5. 標準ライブラリ：言語の標準ライブラリを定義します。コアライブラリ、IOライブラリ、数学ライブラリを含みます

バージョン情報

• 現在のバージョン：v1.8.0
• ステータス：仕様
• 著者：晨煦
• 最終更新日：2026-02-22

関連リソース

• YaoXiang ガイド - チュートリアルとサンプルコード
• 設計ドキュメント - 言語設計ドキュメント
• RFC ドキュメント - 言語変更提案