> Part of me feels like direct numeric array indexing is one of the last holdouts of a low-level operation screaming for some standardized higher-level abstract

> Part of me feels like direct numeric array indexing is one of the last holdouts of a low-level operation screaming for some standardized higher-level abstraction. This paragraph reminds me a bit of Dex: https://arxiv.org/abs/2104.05372 https://arxiv.org/abs/2104.05372