Note: you are viewing archived information about the workshop held in 2023. Information about the latest workshop can be found here.

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.