このディレクトリには、pugプロジェクトで段階的にコンパイラ技術を学ぶための詳細なガイドが含まれています。
📖 学習ガイド一覧
🎯 段階別チュートリアル
| ガイド | 内容 | 対象レベル | 推定学習時間 | |--------|------|-----------|-------------| | Phase 1学習ガイド | 字句解析・構文解析・AST・インタープリター | 初級 | 20-30時間 | | Phase 2学習ガイド | コンパイラ理論・アセンブリ生成・型システム | 中級 | 30-40時間 | | コンパイラ理論解説 | 形式言語理論・最適化理論・型理論 | 上級 | 40-50時間 |
🏗️ 推奨学習順序
graph TD
A[Phase 1学習ガイド] --> B[Phase 2学習ガイド]
B --> C[コンパイラ理論解説]
C --> D[実践課題・拡張実装]
A1[字句解析・構文解析] --> A2[AST設計]
A2 --> A3[インタープリター実装]
A3 --> A4[REPL・エラーハンドリング]
B1[x86_64アーキテクチャ] --> B2[コード生成器]
B2 --> B3[型システム実装]
B3 --> B4[制御構造・関数呼び出し]
C1[形式言語理論] --> C2[構文解析理論]
C2 --> C3[意味解析・型理論]
C3 --> C4[最適化理論]
🎯 各フェーズの学習目標
Phase 1：基本言語処理システム
- [x] 字句解析器（Lexer） - 正規表現と有限オートマトン
- [x] 構文解析器（Parser） - 文脈自由文法とPratt Parser
- [x] 抽象構文木（AST） - プログラム構造の内部表現
- [x] インタープリター（Evaluator） - AST直接実行とオブジェクトシステム
Phase 2：コンパイラ基盤
- [x] x86_64アーキテクチャ - レジスタ・命令セット・呼び出し規約
- [x] コード生成器 - ASTからアセンブリコードへの変換
- [x] 型システム - 静的型検査とエラー検出
- [x] 制御構造 - if文・while文・関数呼び出しの実装
コンパイラ理論：理論的基盤
- [x] 形式言語理論 - チョムスキー階層と言語クラス
- [x] 字句・構文解析理論 - オートマトン理論と構文解析法
- [x] 意味解析理論 - 型理論と記号表管理
- [x] 最適化理論 - データフロー解析と制御フロー解析
🔧 実践的な学習アプローチ
1. 理論と実践の組み合わせ
- 各章で理論的背景を学習
- 実際のコード実装で理解を深化
- 実践課題で応用力を養成
2. 段階的な複雑性
- シンプルな概念から開始
- 徐々に高度な技術を導入
- 各段階で確実な理解を確保
3. 実用的なプロジェクト
- 動作するコンパイラを段階的に構築
- 性能測定による定量的改善確認
- 産業標準との比較分析
📊 学習成果の測定
性能目標
Phase 1 インタープリター: ベースライン性能
Phase 2 基本コンパイラ: 10倍高速化
Phase 3 最適化コンパイラ: 50倍高速化
Phase 4 LLVM連携: 100倍高速化
理解度チェックポイント
- [ ] 各フェーズの理論的背景を説明できる
- [ ] 実装の設計判断の理由を説明できる
- [ ] 性能改善の原理を定量的に分析できる
- [ ] 他の言語処理系との比較ができる
🎓 学習の進め方
準備
- Go言語の基礎知識（関数・構造体・インターフェース）
- コンピュータアーキテクチャの基礎（レジスタ・メモリ・スタック）
- アルゴリズムとデータ構造（再帰・木構造・グラフ）
学習環境
- 開発環境: Go 1.19以上、make、アセンブラ（as）、リンカ（ld）
- 参考書籍: ドラゴンブック、Go言語でつくるインタープリター
- オンラインリソース: Stanford CS143、MIT 6.035
学習記録
各ガイドには以下が含まれています：
- 学習日記テンプレート - 進捗記録用
- 理解度チェック質問 - 自己評価用
- 実践課題 - スキル定着用
- 拡張アイデア - 発展学習用
🔗 関連リソース
プロジェクト内リソース
- メインREADME - プロジェクト全体概要
- examples/ - サンプルプログラム集
- benchmark/ - 性能測定システム
外部学習リソース
🚀 学習の成功を祈ります！
段階的に学習を進めることで、確実にコンパイラ技術を習得できます。理論と実践の両面から理解を深め、産業レベルのコンパイラ実装スキルを身につけましょう！
質問や提案がある場合は、GitHubのIssuesでお気軽にお聞かせください。