Are arrays functions?
Summary
The article examines whether arrays can be treated as functions, arguing that in Futhark there cannot be a type-level unification of arrays and functions due to defunctionalisation constraints and explicit size-tracking. It compares ideas from Dex and other array-language concepts, discusses potential syntax changes and slicing challenges, and surveys future directions like shared abstractions and AUTOFMAP concepts.