型システム入門

型システム入門 プログラミング言語と型の理論作者:ＢｅｎｊａｍｉｎＣ．Ｐｉｅｒｃｅ,住井英二郎オーム社Amazon「型システム入門 −プログラミング言語と型の理論−」（以下TaPL）は、型システムを理解するうえで必要な基礎知識を学ぶことができる、文字通り型システムの入門書である。最近、型とは実際に何なのかを知るために、この本を読んで勉強している。第4章の型なし計算体系の実装がRustでもできそうだと思ったので、Rustで実装した。