Nice read :)
I didn’t know that there were video lectures and notes available for MIT’s advanced data structures course, that’s pretty neat: http://courses.csail.mit.edu/6.851/spring14/lectures/
Can anyone comment on what I might get from these lectures that I missed in Okasaki’s Purely Functional Data Structures?
My gut reaction to partial persistence (which I admit I don’t have any experience with): The reference management sounds like a nightmare. I’d rather be fully persistent and leverage a proper GC since you probably end up implementing your own, crappy GC to deal with those references to older versions (kind of like Greenspun’s tenth rule and lisp x “A Unified Theory of Garbage Collection”).
I’m curious about what the interaction between non-determinism and the retroactive data structures backing a time traveling debugger would look like.