はてなブックマーク

プログラミング言語のうち、SchemeやJavaScript、そしてRubyを含む言語は「型なし」と分類されます。つまり、言語が型システムの定義を含まず、プログラムはコンパイル時の型検査なしに実行されるようなもののことです。 ところが、この型なし言語に型を付けようという（一見矛盾した）試みに取り組んだ人は多く、けっこう長い歴史があります。この歴史を振り返り、最近の流行について分析し、さらにRubyのための型のデザインについて議論します。