言語リファレンス
ここではCeruneの主要な言語機能をまとめます。型の厳密な意味、評価順、停止条件は言語リファレンス（一次資料）で定義されています。
整数、浮動小数点、真偽値、文字列、配列、ユーザー定義型の種類と基本的な規則は型にまとめています。
束縛と再代入
Section titled “束縛と再代入”宣言、mutによる再代入、inferによる型推論、ブロックスコープの規則は変数と束縛にまとめています。
関数の定義、引数、戻り値、ジェネリクス、実行開始点については関数を参照してください。
固定長配列と動的配列の生成、コピー、更新、反復、制限事項は配列にまとめています。
条件分岐、繰り返し、break・continue、enumの分岐は制御構文を参照してください。
ファイルのimport、公開指定のpub、名前空間、依存ファイルの規則はモジュールを参照してください。
主な構文と規則
Section titled “主な構文と規則”- 明示的な数値変換。暗黙の数値変換は行いません。
- 整数の桁あふれや配列の範囲外参照などでは実行を停止します。
現在の主な制限
Section titled “現在の主な制限”再帰、文字列の添字参照、動的配列の伸長、汎用Option/Result、ファイル・ネットワークI/Oなどは未実装です。機能の正確な対応範囲と今後の計画は一次資料を参照してください。