NEPLg3 仕様書
NEPLg3 の draft 仕様書群。
2026-05-24 時点で NEPLg3 は未着手・未確定であり、本ディレクトリの文書は現在の NEPLg2 / NEPLg2.1 実装の正仕様ではない。現行開発では NEPLg2.1 表層構文移行計画 を優先する。
言語仕様
| ドキュメント | 内容 |
|---|---|
| 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・解析パス（言語仕様視点） |
| ../impl/index.md | コンパイラ実装設計（ファイル構成・パイプライン・移行戦略） |