I datalogi refererer adjektivet rent funktionelt til en algoritme , datastruktur eller programmeringssprog, der udelukker destruktive ændringer. Derfor er variabler ekskluderet, og identifikatorer betegner i stedet vedvarende, uforanderlige værdier. Dette betyder også, at værdierne før en operation stadig er tilgængelige efter denne operation og er identiske.
Chris Okasaki, rent funktionelle datastrukturer , Cambridge University Press, 1998 , ( ISBN 0-52166-350-4 ) .