型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。

2013年03月29日 速いコードが正義 皆さんは、 速いがわかりにくいコード 速度は並でわかりやすいコード、どちらが良いいか？ 例えば運用や保守をしなくてはいけないプロジェクトでは、 必ずしも実装者が保守をするとは限らない。 ゲームでもネットゲームはリリース後、 さらなるバージョンアップを重ねる。 コンシューマーではリリース後にバージョンアップは基本ない。 またそのアプリケーションの動作ハードウェアは”１種類”しか無い。 つまり速度を向上させるためにはソフトウェアを変えるしか無いのだ。 そういう理由から筆者は「速いコードが正義」といつも言っている。 良い悪いではない。 正義！ジャスティス！！ わかりやすいのももちろん良い。否定などもっての外だ。 しかし、冒頭の質問で気づいただろうが、 「遅くてわかりやすいコード」ではない点に注意がある。 ここで言う遅いとは、使い物にならないという意味だ