イミュータブルデータ（不変性）

関数型プログラミング（Functional Programming）における基本理念の一つに イミュータブルデータ（不変性） があります。これは「一度生成されたデータは変更されない（再代入されない）」という性質を指します。以下に詳しく説明します。

---

1. イミュータブルデータとは何か

イミュータブル（immutable）とは「変更不可能」であることを意味します。イミュータブルデータとは、一度作成された値がその後に変更されないデータ構造や値のことです。変更が必要な場合は、元のデータを変更するのではなく、新しいデータを生成して返すというスタイルを取ります。

---

2. 関数型プログラミングにおける役割

関数型プログラミングでは、次のような理由でイミュータブルデータが重視されます。

(1) 副作用の排除

イミュータブルデータはデータの状態を変えないため、関数の実行によって外部の状態が変化することがありません。これにより、副作用（side effect）のない**純粋関数（pure function）**の実現が可能になります。

(2) スレッドセーフ

複数のスレッドが同じデータを参照しても、そのデータが変更されないため、並行・並列プログラミングにおいて安全です。ロックや同期の必要性が減少します。

(3) 予測可能な挙動

イミュータブルな値は時間とともに変化しないため、プログラムの挙動が予測しやすく、デバッグやテストが容易になります。

---

3. 実装例（Haskell／JavaScript）

Haskell（完全に関数型の言語）

haskell
-- イミュータブルなリストの操作
let original = [1, 2, 3]
let newList = 0 : original  -- 先頭に0を追加（元のリストは変化しない）

JavaScript（非関数型だが関数型スタイルが可能）

javascript
const original = [1, 2, 3];
const newList = [0, ...original]; // スプレッド構文で新しい配列を生成
// originalは変更されていない

---

4. イミュータブルデータを支える技術

• Persistent Data Structures（永続的データ構造）：効率的に変更履歴を持ち、過去のバージョンも保持可能。

• コピー・オン・ライト（Copy-on-Write）：必要な部分のみコピーして再利用する技術。

---

5. 現実的な課題と対処法

イミュータブルデータの操作では新しいデータのコピーが必要になるため、パフォーマンスの問題が生じることがあります。しかし、現代の関数型言語やライブラリはこれを解決するために**構造共有（structural sharing）**などの最適化手法を導入しています。

---

まとめ

イミュータブルデータは、関数型プログラミングの中核的な概念であり、信頼性が高く、メンテナンスしやすいコードを書くための基盤となっています。