7.9. 同値性制約

型文脈にはt1 ~ t2という形の同値性制約を含めることができる。これは、t1t2の二つの型が同じでなければならないということを示す。型族の存在下では、一般に二つの型が等しいかどうかを局所的に決めることは出来ない。このため、次の例のように、関数のシグネチャの文脈に同値性制約が使われることがある。

sumCollects :: (Collects c1, Collects c2, Elem c1 ~ Elem c2) => c1 -> c2 -> c2

ここでは、c1c2の要素の型が同じであることを要求している。一般に、同値性制約におけるt1t2は任意の単相型であってよい。単相型であるというのは、ランクの高い型が有効になっているかどうかにかかわらず、量化子を含んでいてはならないということである。

同値性制約は、クラスとインスタンスの文脈でも使うことができる。前者によって、関数従属を使うプログラムから、代わりに族シノニムを使うプログラムへの、単純な翻訳が出来るようになる。一般的な考え方として、次のような形のクラス宣言があったとする。

class C a b | a -> b

これを、以下のように書き換える。

class (F a ~ b) => C a b where
type F a

つまり、すべてのa1 .. an -> bという関数従属性(FD)について、これをF a1 .. anというFD型族とF a1 .. an ~ bというスーパークラス文脈の同値性で表現することで、実質的に関数従属性に名前を与えている。クラスインスタンスでは、FD族の型インスタンスをクラス頭部に沿った形で定義する。この過程でメソッドのシグネチャは影響を受けない。