داده ساختارهای تابعی محض

در علوم رایانه، یک داده ساختار تابعی محض، داده ساختاری است که امکان پیاده سازی آن به وسیله یک زبان برنامه نویسی تابعی محض وجود دارد. تفاوت اصلی یک داده ساختار دلخواه با تابعی محض در این است که دومی حتماً باید تغییرناپذیر باشد. این محدودیت تضمین می کند که داده ساختار از مزایای اشیا تغییرناپذیر برخوردار است از جمله: ساختار داده های ماندگار، کپی سریع از اشیا و ایمنی چندنخی.نبو
داده ساختارهای تابعی محض بهینه در صورت نیاز ممکن است از ارزیابی کندرو و مموایز کردن استفاده کنند.
داده ساختارهای تابعی محض اغلب متفاوت از همتای برنامه نویسی دستوری خود ارائه داده می شوند. برای نمونه، یک آرایه با زمان دسترسی و بروزرسانی ثابت بخش پایه ای بسیاری از زبان های برنامه نویسی دستوری است. اساس بسیاری از داده ساختارهای دستوری مانند هرم دودویی و جدول درهم سازی آرایه ها هستند. آرایه می تواند با یک آرایه انجمنی یا لیست با دسترسی تصادفی که تابعی محض پیاده سازی شده است جایگزین شود، اما دسترسی و بروزرسانی ممکن است در پیچیدگی زمانی لگاریتمی انجام شود.
این داده ساختارها می توانند در زبان های دستوری و شی گرا پیاده سازی شوند، اما عملکرد حافظه و زمان شان ممکن است از به لحاظ نداشتن همه ویژگی های داده ساختارهای تابعی محض پایین تر باشد.