Powering transactions with functional data structures

Louis Boulanger (LIG, Université Grenoble Alpes)
Thursday session 2 (Zoom) (15:0016:00 BST)
Watch a recording of this talk on YouTube

Serializing is easy in Rust, but it can be expensive. What if we bypassed JSON, and just used raw program data on disk? Combining Rust's mutability control with functional data structures, we propose a transactional system with a pleasant API to create persistent data structure libraries.