Language Spec (v1.0.0)

language spec は Sounio のより大きなモデルとして読み、その後で各具体的な主張を現在の artifact、tests、gate-backed docs に照らして確認してください。

本日時点で確認済み

• 言語仕様は、現在の公開 artifact が実際に強制する内容より先行している場合があります。
• 理想的な文章やディレクトリ名よりも、tests と gate artifact を強い根拠として扱ってください。
• 明示的な with ... effect は現在も言語契約の実体です。

現在の注意点

• LLVM、GPU、LSP などの backend は、ソース配置ではなく artifact ごとに確認する必要があります。
• units と quantity の構文は存在しますが、end-to-end の enforcement はまだ部分的です。