Purely functional data structure とは

コンピュータサイエンスでは、純粋に機能的なデータ構造は、純粋に機能的な言語で実装できるデータ構造です。任意のデータ構造と純粋に機能的な構造との主な違いは、後者が(強く)不変であることです。この制限により、データ構造に不変オブジェクトの利点(完全な永続性、オブジェクトのクイックコピー、スレッドの安全性)が確保されます。効率的な純粋に機能的なデータ構造には、遅延評価とメモの使用が必要な場合があります。