Michal Terepeta - Implementing Immutable Vectors in Haskell

This talk will focus on RRB Vectors -- Relaxed-Radix-Balanced Vector is a data structure with good cache locality supporting fast indexing, appending, splitting and concatenation. We will discuss how to implement them in Haskell and, along the way, will also dive into a few low-level aspects of GHC in the quest to make everything fast.