スクリプト言語 Ruby の型推論 システム情報工学研究科 1 年 200520996 松本 宗太郎 指導教員 井田 哲雄 2005 年 12 月 1 日 1 はじめに Ruby や Python,Perl に代表されるスクリプト言語は 柔軟性を特徴とし,簡単なプログラムを短期間で作成する ために広く利用されてきた.近代的なスクリプト言語であ る Ruby や Python は,高度なオブジェクト指向プログラ ミングをサポートし,複雑で大規模なプログラムを作成す ることも可能となっている.しかし,スクリプト言語に型 検査などのプログラムを実行前に解析し誤りを検出する機 能が提供されていることは少なく,テストによってしかプ ログラムの誤りは検出できない. 本研究では,プログラムの誤りを実行前に検出するため の方法として型検査に注目した.Java などの言語では型 の整合性がコンパイル時に検