導入：なぜ「データを書き換えない」のか？
プログラミングを始めたばかりの頃は、変数の中身を上書きして更新していくのが当たり前だと感じますよね。しかし、複雑なシステムを作ろうとすると、この「書き換え」がバグの温床になります。ある場所で書き換えたデータが、別の場所で予期せぬ影響を及ぼすからです。そこで重要になるのが「不変データ構造」です。データを変更する代わりに「差分」を記録して新しいデータを作ることで、プログラムの予測可能性を劇的に高めることができます。
基礎知識：不変（Immutable）と永続データ構造
不変データ構造とは、一度作成したら二度と内容が変わらないデータのことを指します。では、更新したいときはどうするのでしょうか？ここで登場するのが「永続データ構造」の考え方です。
これは、新しいデータを作る際に、変更がない部分は元のデータを「再利用」し、変更箇所だけを新しく生成する仕組みです。メモリの無駄遣いを防ぎつつ、過去のデータもそのまま保持できるため、まるでバージョン管理システムのように安全にデータを扱えます。
実装：Haskellにおけるデータ定義と差分
Haskellのような関数型言語では、すべてのデータがデフォルトで不変です。データ型を定義し、それを元に新しい値を生成する際は、コピーではなく「参照の共有」が行われます。これにより、メモリ効率を保ちながら論理的な差分管理が可能になります。
サンプルプログラム：ユーザー情報の更新
以下のコードは、ユーザーの名前を変更する例です。元のデータを直接書き換えるのではなく、元のデータを活かして「新しいデータ」を生成しています。
// Haskellでのデータ定義例
data User = User { name :: String, age :: Int } deriving Show
main :: IO ()
main = do
— 初期のデータを作成
let user1 = User “田中” 25
— データを直接変えるのではなく、user1を基に新しいデータを作る
— { name = “佐藤” } と書くことで、ageはそのまま引き継がれる
let user2 = user1 { name = “佐藤” }
— 結果を表示
putStrLn $ “古いデータ: ” ++ show user1
putStrLn $ “新しいデータ: ” ++ show user2
— 両方のデータがメモリ上に独立して存在していることを確認
putStrLn “このように、過去のデータを破壊せずに新しい状態を生成できます。”
応用と注意点：現場で役立つ視点
この考え方は、ReactのState管理（Reduxなど）や、データベースの履歴管理（イベントソーシング）でも非常に重要です。
注意点としては、「不変データ＝すべてをコピーする」と誤解しないことです。適切に設計された永続データ構造は、内部的に木構造（ツリー）などを利用しており、変更があった枝だけを新しく作るため、パフォーマンスが非常に高く保たれています。
初心者のうちは、「データを書き換える関数」を書きたくなったら、「新しいデータを返す関数」に書き換えられないか、ぜひ一度立ち止まって考えてみてください。その小さな習慣が、あなたのコードをより堅牢なものに変えてくれるはずです。
コメント