Haskellにおけるタグ付きデータ（SICP 2.4.2）
SICP 2.4.2節で紹介されるタグ付きデータの概念をHaskellで実装する方法を解説。型クラスや代数的データ型を活用し、複数の表現を持つデータ（例：直交座標と極座標による複素数）を統一的に扱う手法を、実際のコード例とともに示す。Haskellの型システムを用いてデータのタグ付けとディスパッチを実現するアプローチを詳述。
背景メモ
———
- **SICP (Structure and Interpretation of Computer Programs)** はMITの名高い計算機科学の教科書（通称「魔法の本」）。そこから第2章で扱われる「タグ付きデータ」（異なる種類のデータに識別子を付けて統一的に扱う技法）を、 **Haskell**（純粋関数型言語）でどう実装するかを論じている記事。
- テーマは「データ抽象化」と「拡張性」のトレードオフ。クラス継承を持たないHaskellでは**代数的データ型（ADT）と型クラス**という2つの方法があり、SICPの方法（タグによる判別）は型安全さを犠牲にしがち、という話。
- この記事はSICPの内容を現代的な言語（Haskell）に翻訳しながら、関数型プログラミングとオブジェクト指向の設計思想の違いにも触れる、ややニッチだが深い技術ブログ。読者はSICP既習者か、関数型データ設計に興味がある中級者以上を想定。
- 「entropicthoughts.com」は個人技術ブログ。筆者はおそらくHaskellとScheme（SICPで使われるLisp方言）の両方を扱えるプログラマ。
———