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