型クラス
（計算機科学の）型クラス（かたクラス、Type class）は、アドホック多相をサポートする型システムの機能である[1]。パラメトリック多相の型変数に制約を付加して、関数オーバーロードと演算子オーバーロードを実現するのが元々の目的になる[2]。その型変数に当てはめられたデータ型は、それへの制約でカテゴライズされることになる。
典型的な型クラスは、型クラスTと型変数aとそのaを引数/返り値にした総称関数の構成で宣言される。aに型Xを当てはめたインスタンス化宣言でXはTで制約されて、その型Xを引数/返り値にする関数と演算子もインスタンス化される。総称関数も型Xでインスタンス化される[3]。
型クラスは、Standard MLのeqtypesで提唱された後に、Haskellで初めて導入されている[4]。その主な目的は型注釈などによる型システムの拡張的補正なしの関数オーバーロードの実現である[2]。これは純粋関数型でのプログラムの形式的検証に必須になる。また、モナドの実践も容易にする。
その他の言語では、アドホック多相をサブタイプ多相に置き換えて、インターフェースとジェネリクスを融合したような機能にされていることが多い。それはレコードや構造体やオブジェクトに実装されて、その振る舞いをカテゴライズする。
脚注
- ^ Wadler, P.; Blott, S. (1989). “How to make ad-hoc polymorphism less ad hoc”. Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '89). Association for Computing Machinery. pp. 60–76. doi:10.1145/75277.75283. ISBN 0897912942
- ^ a b Kaes, Stefan (March 1988). "Parametric overloading in polymorphic programming languages". Proc. 2nd European Symposium on Programming Languages. doi:10.1007/3-540-19027-9_9。
- ^ Morris, John G. (2013). Type Classes and Instance Chains: A Relational Approach (PDF) (PhD). Department of Computer Science, Portland State University. doi:10.15760/etd.1010。
- ^ Appel, A.W.; MacQueen, D.B. (1991). “Standard ML of New Jersey”. In Maluszyński, J.; Wirsing, M.. Programming Language Implementation and Logic Programming. PLILP 1991. Lecture Notes in Computer Science. 528. Springer. pp. 1–13. doi:10.1007/3-540-54444-5_83. ISBN 3-540-54444-5
 | この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。 |
- 型クラスのページへのリンク
