What is the benefit of purely functional data structure?

Question

There are large number of texts on data structures, and libraries of data structures code. I understand that purely functional data structure is easier to reason about. Howe

Answer 1

Purely functional (aka persistent or immutable) data structures give you several advantages:

• you never have to lock them, which extremely improves concurrency.
• they can share structure, which reduces memory usage. For example, consider list [1, 2, 3, 4] in Haskell and some imperative language like Java. To produce new list in Haskell you only have to create new cons (pair of value and reference-to-next-element) and connect it to the previous list. In Java you have to create completely new list not to damage the previous one.
• you can make persistent data structures lazy.
• also, if you use functional style, you can avoid thinking of time and sequence of operations, and so, make your programs more declarative.
• fact, that the data structure is immutable, allows you to make some more assumptions and so expand capabilities of language. For example, Clojure uses the fact of immutability to correctly provide implementations of hashCode() method on each object, so any object may be used as a key in a map.
• with immutable data and functional style you can also freely use memoization.

There's much more advantages, in general, it is another way of modeling the real world. This and some other chapters from SICP will give you more accurate view of programming with immutable structures, its advantages and disadvantages.