SRFI 214: Flexvectors

by Adam Nelson

status: final (2021-03-18)

keywords: Data Structure

See also SRFI 117: Queues based on lists, SRFI 125: Intermediate hash tables, SRFI 133: Vector Library (R7RS-compatible), SRFI 134: Immutable Deques, and SRFI 158: Generators and Accumulators.


A flexvector, also known as a dynamic array or an arraylist, is a mutable vector-like data structure with an adjustable size. Flexvectors allow fast random access and fast insertion/removal at the end. This SRFI defines a suite of operations on flexvectors, modeled after SRFI 133's vector operations.