Random access into a chunk has been optimized in the special case where this chunk is recursively full (which means that this chunk has no free slot and, if its elements are chunks, then they too are recursively full). (See commit f3d39d9df6b45d726a95bb88d88125c381edc4d8.) This can speed up some operations (get, drop, take, split, reach) by up to 4x.
Concatenation has been optimized so as to achieve better worst-case time complexity. In practice, on the concatenation of persistent sequences of length one hundred or more, we observe a speedup of 10% to 30%. On the concatenation of ephemeral sequences, we observe no significant difference below length one million, and a possible slowdown of up to 30% beyond this length.
Documentation: the time complexity claims of several operations were incorrect; they have been simplified and (hopefully) corrected.
2020/10/12
In principle, when the parameter check_iterator_validity is true, a concurrent modification (that is, a modification of an ephemeral sequence that takes place while an iteration on this sequence is ongoing) must be detected by Sek, giving rise to an exception. In several functions, this was not the case. Fixed. (These functions are E.to_seq, E.to_seqi, E.map, E.mapi, E.iter2_segments, E.iter2, E.map2, E.fold_left2, E.fold_right2, E.find2, E.exists2, E.for_all2, E.equal, E.compare, E.merge.)
2020/06/18
The time complexity of every operation is now documented as part of its specification.
New submodules E.Iter and P.Iter, which offer very efficient iterators over ephemeral and persistent sequences.
New function opposite of type direction -> direction.
New functor SupplyDefault, which allows supplying a default element once and for all so as to obtain a simpler API. Unfortunately, this requires choosing a fixed type of elements at the same time.
New submodules Emulated.Array and Emulated.List, which can be used as drop-in replacements for OCaml's standard Array and List modules.
New submodule Segment, which offers a few facilities for iterating over array segments.
Breaking change: the default behavior of E.copy is now to produce a disjoint sequence in time O(n). The previous behavior, which exploits sharing and produces a result in time O(K), is obtained by invoking E.copy ~mode:`Share. The two copying modes have the same observable behavior; they differ only in their performance characteristics.
Breaking change: the submodules Queue and Stack are renamed Emulated.Queue and Emulated.Stack. This makes it easier to avoid unintended shadowing of Stdlib.Queue, Stdlib.Stack, etc. It is now safe to use open Sek.
Breaking change: the functor Make now takes just one structure as a parameter, instead of several structures. This is more pleasant and should make future evolution easier.