NEPLg2.1 仕様書
NEPLg2.1 の現在の仕様書群。本ディレクトリのドキュメントは実装目標となる正の仕様を記述するが、その中にはすでに凍結したコア仕様と、Zenn #1 / #2 で未確定のため各章で draft / 将来仕様として明示している周辺領域が併存する。
言語仕様
| ドキュメント | 内容 |
|---|---|
| overview.md | 言語の理念・設計目標・三本柱 |
| syntax.md | コア構文（前置記法・式・ブロック・パイプ） |
| types.md | 型システム・型記法・kind-directed 解析 |
| declarations.md | 宣言構文（let / struct / enum / trait / impl） |
| patterns.md | パターン・match・let 分解・クロージャ |
| effects.md | 副作用システム（Pure / Impure・Move / Borrow） |
| memory.md | メモリ管理（値の三分類・Region Inference・Drop Elaboration） |
| traits.md | Trait システム・オーバーロード解決 |
| modules.md | モジュールシステム |
| stdlib.md | 標準ライブラリ設計 |
| platform.md | マルチプラットフォーム・ターゲット |
| errors.md | エラー・診断モデル |
| phase8.md | Phase 8: 依存型・形式証明（将来仕様） |
コンパイラ実装ガイド
| ドキュメント | 内容 |
|---|---|
| compiler.md | コンパイラ内部設計・Resource IR・解析パス（言語仕様視点） |
| ../2.1impl/index.md | コンパイラ実装設計（ファイル構成・パイプライン・移行戦略） |