著者

香川 考司

出版者

日本ソフトウェア科学会

雑誌

日本ソフトウェア科学会大会講演論文集 日本ソフトウェア科学会第22回大会 (ISSN:13493515)

巻号頁・発行日

pp.13-19, 2005 (Released:2006-03-29)

---

多相ヴァリアントはGUI、データベース、インタプリタなど潜在的に多くの応用分野を持っている。実際、Haskellはパラメトリック型クラスを導入すると、多相ヴァリアントを模倣することができる。しかし現実に多相ヴァリアントを使用することはほとんどない。これは多相ヴァリアントを模倣するコードを手で書くことはたいへん面倒であり、また型の曖昧さが問題となるためであると思われる。この論文では、そこで、Haskellで多相ヴァリアントを模倣するための方法について、解説し、またそれを直接サポートし結果として通常のHaskellのクラスを出力することができる型クラスの拡張について述べる。