第1章：プログラミング言語概論

• プログラミング言語の分類
• 他の切り口での分類方法
• コンパイルパイプライン

第2章：スタックベース仮想マシン

• 仮想マシン概論
• Rustでの実装
• 標準入力からの読み込み
• パースとコマンドの実行
• ブロックとネスト構造
• if制御構文
• 変数の定義
• 複数行のソースコードへの対応
• 関数呼び出し
• 関数の再帰呼び出し
• WebAssemblyへのコンパイルとブラウザでの実行

第3章：プログラミング言語の構文解析

• 構文解析が解決する課題
• 構文へのマッチ
• トークンの切り出し
• 括弧によるグループ化
• 木構造の構築
• 式の構文木
• パーサコンビネータnom
• Parsing Expression Grammarによる構文解析
• ASTインタプリタ
• 関数呼び出しの構文と評価
• 設定ファイルへの応用

第4章：スクリプト言語ランタイム

• 本章で設計する言語
• 構文と意味論
• AST実行モデル
• 文（Statement）の導入
• 変数宣言
• 代入文
• 条件分岐
• ループ
• 関数定義
• その他の制御構文
• 動的型の導入

第5章：静的型付けと型チェック

• 静的型システムの概要
• 型チェックの基本構成法
• 型宣言
• 式と文の型チェック
• 組み込み関数の型定義
• エラー位置の報告

第6章：バイトコードへのコンパイル

• バイトコードとネイティブコード
• スタックマシンとレジスタマシン
• 命令セットの特徴と設計
• バイトコードの構成
• 最小限のバイトコードの定義と実行
• バイトコードへのコンパイル
• リテラルテーブルの実装
• 任意のソースコードをパースしてバイトコードへ翻訳
• 完全な式のコンパイルと実行
• 条件分岐式のコンパイルと実行
• ループ制御のコンパイルと実行
• ユーザー定義関数
• 型チェッカーとの統合
• 状態マシンとコルーチン
• コルーチンオブジェクトとジェネレータ
• 応用例

第7章：LLVMを使ったネイティブコードへのコンパイル

• llvm-sysとinkwell
• inkwellでのHello, world!
• ネイティブコードによるパフォーマンスの向上