The OCaml team at Cargocut discusses Antonin Décimo's proposal for a list type that tracks whether it has been reversed, avoiding the O(n) cost of actual reversal. The article walks through several implementations of this concept, building on their existing nel (non-empty list) library released for applicative validation error handling.
Background
OCaml is a functional programming language whose core team and runtime are maintained by INRIA and a community of contributors including Antonin Décimo. Cargocut is an OCaml-focused company.
- Source
- Lobsters
- Published
- Oct 2, 2026 at 12:29 AM
- Score
- 5.0 / 10