In informatica , l'aggettivo puramente funzionale si riferisce a un algoritmo , struttura dati o linguaggio di programmazione che esclude cambiamenti distruttivi. Pertanto, le variabili sono escluse e gli identificatori invece denotano valori persistenti e immutabili. Ciò significa anche che i valori prima di un'operazione sono ancora accessibili dopo questa operazione e identici.
Chris Okasaki, Strutture dati puramente funzionali , Cambridge University Press, 1998 , ( ISBN 0-52166-350-4 ) .