Performance del codice orientato ad ADT a singolo assegno su CPU moderne

Question

Lavorare in dati immutabili con singoli incarichi ha l'ovvio effetto di richiedere più memoria, si presume, perché stai costantemente creando nuovo Valori (sebbene i compilatori sotto le copertine facciano trucchi puntanti per rendere meno un problema).

Ma ho sentito alcune volte ora che le perdite lì nelle prestazioni sono compensate dai guadagni nel modo in cui la CPU (il suo controller di memoria in particolare) può trarre vantaggio dal fatto che la memoria non è mutata (altrettanto).

Speravo che qualcuno potesse far luce come Questo è vero (o se non lo è?).

In Un commento su un altro post È stato detto che Tipi di dati astratti (ADT) ha a che fare con questo che mi ha reso più curioso, in che modo gli ADT influenzano specificamente il modo in cui la CPU si occupa della memoria? Questo è tuttavia a parte, soprattutto sono solo interessato a come la purezza del linguaggio influisce necessariamente sulle prestazioni della CPU e delle sue cache ecc.