fp2015

• 概要
• 関数型プログラミングへの招待：基本的なデータ型，複合的なデータ型，代数的データ型
• 関数型プログラミングへの招待：再帰的なデータ構造，関数閉包，状態の扱い
• 関数型プログラミングへの招待：レコード，例外処理，モジュールシステム，標準ライブラリ，開発環境
• 関数型言語のコンパイラのソフトウェアアーキテクチャ
• プログラムから抽象構文木へ：字句解析と構文解析
• 型解析：型検査と型推論，ユニフィケーション
• 抽象構文木からK正規形へ：K正規形，α変換
• 最適化：β簡約，letの入れ子についての簡約，インライン展開
• 最適化：定数畳み込み，不要定義除去
• 関数閉包の除去：クロージャ変換
• 仮想機械命令生成
• レジスタ割り当て
• 実行可能コードの生成：アセンブリ生成，実行時システム
• まとめ