あなたの知らない言語のディープな世界〜進化する型チェック
日経ソフトウェア　第189号　2013.8.1

　今回は、型について取り上げます。“型”と聞くと多くの人は、また動的型付けや静的型付けの話か、とうんざりしてしまうでしょう。　しかし、ここで取り上げるのは、型チェックをいつするのか（コンパイル時または実行時）ではありません。そもそも型はどんな考え方で作られ、どのようなチェック手法があるのか、といった深い内容を解説していきます。　紹介する技術は、名前的型システム（Ｎｏｍｉｎａｌ　Ｔｙｐｉｎｇ）と、構…