1. 導入：なぜ「等価性」の理解が重要なのか
プログラミングをしていると、「このデータとあのデータは同じものか？」と判定したい場面に頻繁に出くわします。多くの言語ではオブジェクトの「参照（メモリ上の場所）」を比較してしまい、意図した結果が得られないことがありますが、関数型言語Haskellでは「値そのもの」を比較することが基本です。この記事では、データ型に自動的に等価性の判定能力を与える「Eq型クラス」について解説します。
2. 基礎知識：Eq型クラスとは
Haskellにおいて、比較可能なデータ型には「Eq」というラベル（型クラス）が付与されています。Eq型クラスのインスタンスであるデータ型は、==（等価演算子）や /=（非等価演算子）を使って比較が可能です。
私たちが自分で新しいデータ型を定義したとき、デフォルトではその型は「比較できない」状態です。しかし、derivingキーワードを使うことで、コンパイラが自動的にその型の構造を再帰的にチェックし、等価性を判定するロジックを生成してくれます。
3. 実装と解決策
データ型を定義する際、末尾に「deriving Eq」と記述するだけで準備は完了です。これにより、Haskellは以下のルールで自動的に比較を行います。
1. コンストラクタ（例：PointやUserなど）が一致しているか。
2. コンストラクタ内のすべてのフィールド（値）が、それぞれ等価であるか。
この仕組みにより、開発者は複雑な比較ロジックを自分で書く必要がなくなり、バグを未然に防ぐことができます。
4. サンプルプログラム
以下のコードは、二次元座標を表すPoint型を定義し、その等価性を判定する例です。Haskell環境があれば、そのままコピーして実行してみてください。
— Pointというデータ型を定義し、deriving Eqで比較可能にする
data Point = Point Int Int deriving (Show, Eq)
main :: IO ()
main = do
let p1 = Point 10 20
let p2 = Point 10 20
let p3 = Point 5 5
— 値が一致しているため True が返る
print (p1 == p2)
— 値が異なるため False が返る
print (p1 == p3)
— 別の場所で生成されたデータでも、中身が同じなら等しいとみなされる
print (Point 1 2 == Point 1 2)
5. 応用・注意点：現場での活用
参照ではなく「値」で比較できるという特性は、テストコードを書く際に絶大な威力を発揮します。「処理の結果生成されたデータ」と「期待値となるデータ」を、メモリ上の位置を気にすることなく純粋に構造だけで比較できるからです。
注意点として、関数そのものはEqのインスタンスにすることができません。関数は「振る舞い」であり、それを実行前に比較することは計算理論上不可能だからです。また、独自の比較ルール（例：大文字小文字を区別しない比較など）を適用したい場合は、derivingに頼らずに、自前でinstance Eqを定義して==演算子をオーバーロードすることも可能です。
まずはシンプルなデータ構造からderiving Eqを試し、Haskellらしい「値によるプログラミング」の恩恵を感じてみてください。
コメント