Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Thu 7 Sep 2017 15:55 - 16:20 at L3 - Performance

When the maximal number of elements that may be inserted into a container is not known in advance, the container needs to grow dynamically. Growable containers are most frequently implemented on top of lists or vectors, yet both are inefficient in terms of space and time usage. We investigate the implementation of OCaml of sequence data structures that store their elements in fixed-capacity arrays, called chunks. For sequences of several thousand elements, we show that our chunked-based sequence data structures save a lot of memory and may deliver better performance than classic container data structures.

Thu 7 Sep

15:30 - 16:20: ML 2017 - Performance at L3
mlfamilyworkshop-2017-papers150479100000015:30 - 15:55
Atsushi OhoriTohoku University, Japan, Kenjiro TauraThe University of Tokyo, Katsuhiro UenoTohoku University
mlfamilyworkshop-2017-papers150479250000015:55 - 16:20