Functional data structures

object whose state cannot be modified after it is created

technique of representing an aggregate data structure so that it is convenient for writing programs that traverse the structure arbitrarily and update its contents