書記の読書記録#23「プログラミング言語の基礎概念」

五十嵐淳「プログラミング言語の基礎概念」のレビューと読書記録。

プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト))

レビュー

プログラムの動作を数学的に厳密に記述するための意味論，型システム，それらに関連する基礎概念について取り扱った本で，関数型言語であるMLにより記述される。オンライン演習システム付き。

読書記録

＃ 1 p2〜48
・意味論や型システム記述の枠組みとしての導出システム（判断を推論規則に従って導くための記述体系）・ペアノ自然数の加算，乗算システム・導出木・算術式の評価と簡約：バッカス-ナウア記法（BNF）→再帰的定義・メタ変数・抽象構文木・具体的な導出システムにおける判断についての一般的な性質・メタ理論：健全性と完全性・正規化・数学的帰納法，構造帰納法・帰納法による定義・導出に関する帰納法・整礎帰納法

＃ 2p50〜118
・プログラムの意味論：操作的，表示的，公理的・ML1：整数，真偽値，算術演算，比較演算，条件分岐・実行時エラー・ML2：局所定義・定義：名前の宣言，変数の参照，有効範囲の決定・評価戦略・ML3：関数・引数，パラメータ・高階関数，再帰・カリー化，部分適用・名前なし表現（ドブラウンインデックス）・ML4：リスト・コンス式・ML5：パターンマッチ

＃ 3p120〜171
・型システム・型付け判断，型付け規則，型環境・型安全性・多相的型システム・型スキーム，型変数・型代入補題・型推論・主要型・一階の単一化，最汎単一化子

本記事のもくじはこちら：

書記の読書記録まとめ｜Writer_Rinka｜note