sequence - sellout/data-structure-zoo GitHub Wiki
This is an ADT, also known as an array (which is an unfortunately overloaded term) or list, that is usually referred to by the name of the data structure that’s used to implement it: [[linked list]], or [[vector]]. It is a tightly-packed associative container that provides the operations [[index]], [[update]], the difference between this and a finite map with integral keys, is that a sequence additionally enforces the property that if [[index]] n container exists, then indexes for 0 to n-1 also exist.
- linked list – pure
- vector – mutable