プログラミング言語のうち、SchemeやJavaScript、そしてRubyを含む言語は「型なし」と分類されます。つまり、言語が型システムの定義を含まず、プログラムはコンパイル時の型検査なしに実行されるようなもののことです。

ところが、この型なし言語に型を付けようという（一見矛盾した）試みに取り組んだ人は多く、けっこう長い歴史があります。この歴史を振り返り、最近の流行について分析し、さらにRubyのための型のデザインについて議論します。

Rubyプログラマとして、かれこれ7〜8年活動してきた私ですが、それまではRubyを使ったことはなく、他の言語でシステム開発をやってきました。

昔と今を比べると、「なんかいろいろ変わったなあ」と思うところが多々あります。

そこで、この発表では以前使っていた言語とRubyの比較や、その他、僕自身が感じている「自分を取り巻く環境の違い」などを紹介します。

Rubyをまだ使ったことがなく、「Rubyって実際どうなの？いいの？悪いの？」と疑問に思っている方が、「へ〜、面白そう！ちょっとRubyを触ってみようかな」と思えるような情報をご提供できれば幸いです。