Rogue Engineer's Diary / やさぐれ日記

■ [Modern Compiler Implementation in ML]型チェック部長期戦の気配

"Modern Compiler Implementation in ML" 、型チェック部分のプログラミングは進行しているものの、ページ数は相変わらず121ページのまま。長期戦を覚悟することになりそう。読了見通しは7月中旬から9月中旬の間。型システムの実装って本当に大変（涙）

ちなみに作っているのはMLのコンパイラではなく、この本のために設計されたTigerという教材用言語向けのコンパイラで、これを現在MLで実装中である、という次第。Tigerがどんな感じの言語かについては、8-queensを解くプログラムのサンプルとか、Tigerの仕様書なんてのを見ると、なんとなくわかるかも。