there's a whole class of persistent persistent (the repetition is intentional here) data structures. Some of them even combine performance with elegance.