YaoXiang リファレンスドキュメント

本ドキュメントは作成中です...

YaoXiang は現在 実験段階 であり、标准ライブラリと API は徐々に整備されています。

言語仕様

• 言語仕様の概要
• 構文仕様 - 字句構造、構文規則、演算子の優先順位
• 型システム - 基本型、複合型、ジェネリクス、trait
• モジュールシステム - モジュール定義、インポート/エクスポート、スコープ
• 並行モデル - 非同期プログラミング、並行プリミティブ、メモリモデル
• 標準ライブラリ - コアライブラリ、IOライブラリ、数学ライブラリ

現在のステータス

モジュール	ステータス	説明
std.io	🔨 工事中	入出力
std.string	🔨 工事中	文字列操作
std.list	🔨 工事中	リスト操作
std.dict	📋 計画中	辞書操作
std.math	🔨 工事中	数学関数
std.net	📋 計画中	ネットワーク操作
std.concurrent	📋 計画中	並行プリミティブ

組み込み型

原始型

型	説明	例
Void	空値/戻り値なし	()
Bool	ブール値	true, false
Int	整数	42, -10
Float	浮動小数点数	3.14, -0.5
Char	文字	'a', '中'
String	文字列	"hello"

複合型

型	説明	例
List(T)	同一要素のリスト	[1, 2, 3]
Tuple(T1, T2, ...)	異種要素のタプル	(1, "hello")
Dict(K, V)	キー値ペアのマップ	{"a": 1}
(Args) -> Ret	関数型	(Int) -> Int

ユーザー定義型

// 記録型（ストラクト）
Point: Type = { x: Float, y: Float }

// 列挙型
Result: (T: Type, E: Type) -> Type = { ok: (T) -> Result(T, E), err: (E) -> Result(T, E) }

// インターフェース型（すべてのフィールドが関数）
Callable: Type = { call: (String) -> Void }

組み込み関数

出力

print(value)           // 出力、改行なし
println(value)         // 出力、改行あり

変換

to_string(value)       // 文字列に変換
to_int(value)          // 整数に変換
to_float(value)        // 浮動小数点数に変換

型チェック

typeof(value)         // 型名を返す
is_type(value, type)  // 型チェック

キーワード

キーワード	説明
Type	メタ型
spawn	spawn関数をマーク
spawn for	並列ループ
spawn {}	spawnブロック
if / else if / else	条件分岐
match	パターン照合
while / for	ループ
return	戻り値
ref	参照を作成
mut	可変マーク

構文早見

変数宣言

// 不変変数（デフォルト）
x: Int = 42
y = 42                 // 型推論

// 可変変数
mut count: Int = 0
count = count + 1

関数定義

// 通常の関数
add: (a: Int, b: Int) -> Int = a + b

// spawn関数（自動並行化）
fetch: (url: String) -> JSON spawn = HTTP.get(url).json()

// ジェネリック関数
identity: [T](x: T) -> T = x

制御フロー

// 条件
if x > 0 {
    print("positive")
} else if x < 0 {
    print("negative")
} else {
    print("zero")
}

// パターン照合
match result {
    ok(value) => print("success: " + value),
    err(error) => print("error: " + error),
}

// ループ
for i in 0..10 {
    print(i)
}

エラー処理

// ? 演算子でエラーを伝播
data = fetch_file(path)?

演算子の優先順位

優先度	演算子
最高	( ) 関数呼び出し
	. フィールドアクセス
	[ ] インデックス
	unary - 単項マイナス
	* / % 乗除算・剰余
	+ - 加減算
	== != < > <= >= 比較
	and or 論理演算
最低	= 代入

標準ライブラリの使用例

// 標準ライブラリをインポート
use std.io.{print, println}

// リスト操作
use std.list.{list_push, list_pop, list_len}

// 数学関数
use std.math.{sqrt, sin, cos, PI}

// 使用例
println("Hello, YaoXiang!")
result = sqrt(16.0)  // 4.0

コマンドラインツール

# スクリプトを実行
yaoxiang run hello.yx

# バイトコードをビルド
yaoxiang build hello.yx -o hello.42

# インタプリタで実行
yaoxiang eval 'println("Hello")'

# ヘルプを表示
yaoxiang --help

完全な例

// フィボナッチ数列を計算
fib: (n: Int) -> Int = if n <= 1 {
    n
} else {
    fib(n - 1) + fib(n - 2)
}

// メイン関数
main: () -> Void = {
    print("Fibonacci(10) = " + fib(10).to_string())
}

関連リソース

• チュートリアル - YaoXiang を学ぶ
• 設計ドキュメント - 言語設計の決定
• GitHub

寄稿ガイド

標準ライブラリは作成中です。寄稿を歓迎します！

1. モジュールを選択（例：std.io、std.net）
2. src/std/ に関数を実装
3. ドキュメントコメントを追加
4. PR を送信