多相レコード型に基づくRubyプログラムの型推論 | CiNii Research

タイトル別名 タソウ レコードガタ ニ モトズク Ruby プログラム ノ カタ スイロン Type Inference for Ruby Programs Based on Polymorphic Record Types 本研究では，多相レコード型に基づいてRubyプログラムの型推論ツールを設計，実装した．型推論ツールは，組み込みライブラリの型を記述したシグネチャとRubyプログラムを入力とし，プログラムの型を推論し，誤りを検出する．しかし，Rubyの柔軟性を表現できる，実用的で健全な型体系を設計しようとすると，体系は非常に複雑になる．それを避けるため，多相レコード型によって拡張されたMLの型推論アルゴリズムを，直接，Rubyに適用した．型体系は，非常に制限されたRubyプログラムに対しては，健全になるように設計した．Rubyにおいては，組み込みクラスなどの既存のクラスを拡張することが