著者

服部 健太

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.5, no.2, pp.99, 2012-03-30

---

Hindley/Milner多相型システムは様々なプログラミング言語の型システムの基盤として広く用いられてきた.現実的なプログラミング言語においては,Hindley/Milner多祖型システムの表現力を高める必要があり,多相レコードやオーバロード,型クラスといった数多くの拡張が提案されてきた.これらの拡張は,型変数に述語やカインドといったある種の制約を付け加えることで実現している.我々はHindley/Milner多相型システムを拡張するための新しいアプローチを提示する.我々のアプローチの鍵は,(1)暗黙的に型づけられたプログラムをそれと同等な明示的に型づけられたプログラムに変換し,(2)型レベルでそのプログラムを評価しながら型判定を行う,というものである.我々のアプローチは,制約付きの型のように型システムを複雑化することなく,簡単に拡張することができる.本発表では,例としてオーバロードと多相レコードを扱うシステムについて検討する.