永続的データ構造

更新前と更新後のデータを保持し続ける構造

関数型プログラミングの場合は、全てのデータがこれになる