Haskellへの多相ヴァリアントの導入について

抄録

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