Kentaro Kuribayashi's blog

Software Engineering, Management, Books, and Daily Journal.

TAPL

型システムの意義(TAPL第1章より)

『アンダースタンディング コンピュテーション』に続いて、『型システム入門―プログラミング言語と型の理論』を読む。 型システムの定義 システムが仕様通りに動作するかどうかを保証する形式手法と呼ばれるものにはいろいろあるけど、利用が難しい。もっと…