3 ms·
A big one is persistent data structures. Where 'persistent' may not mean what you think it means. In Clojure it is impossible to surgically modify a data stru
by DannyB2 10y ago
A big one is persistent data structures. Where 'persistent' may not mean what you think it means.
In Clojure it is impossible to surgically modify a data structure. That is, you can't do something like:
(SETF (CAR (CDR x)) 'foo)
which would alter a data structure.
You can modify a data structure, but it returns a new data structure, yet the old one remains if it is not GC'able.
All of the common data structures have this property. Sequences (eg, lists), arrays, maps and sets. If you change the 50 thousandth element of an array, this returns a new array. The old array is unaffected. Yet it gives the performance you expect of an array. (Meaning no apparent cost of copying.)
If you're writing a search procedure, it is trivial to transform one chessboard into a different chessboard, but without concern about the cost of copying (close to zero), or having altered the original value (you haven't). Other variables that have a pointer to that first chessboard don't see any changes.
There are other things such as a great story about concurrency.
Hope that helps.
- hkjgkjy 10y agoIt should be noted that you can even if you in 99.9% of cases don't want to mutate state. For the few times when you want to squeeze the last drop of performance, you can use transients[0]. [0] https://clojure.org/reference/transients https://clojure.org/reference/transients
- inconclusive 10y agoHow is the cost of copying close to zero or not apparent?
- macmac 10y agoBecause persistent data structures that use structural sharing.
- rads 10y agoThe data structures in Clojure are built on shallow 32-way trees. When you "change" a map or a vector, the algorithm only copies from the root node down to the parent of the leaf you're changing. That's log32(N) copied nodes in a tree of N nodes total.
- DannyB2 10y agoGood answers by others. The cost it not quite zero, but very close. The benefits this buys are huge. The obvious case is recursive search algorithms.