johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
222 stars 11 forks source link

Add a constant access time Array type #1190

Open johnynek opened 3 months ago

johnynek commented 3 months ago

It would be good to have an immutable Array type that offers constant time access for cases like reading files.

We need a total API for it so thinking of the right structure for that requires some thought.