Arrays as input: Does this just work already? With the indices treated as map keys?
Arrays as output -- either it automatically chooses to keep numerical keys in an array, or a syntax to specify that, e.g. "v[]" would create an array of vs, and "v[i]" would create an array of vs using the index i.
Or would "[]i -> v" be a better syntax, being closer to "i -> v"?
Arrays as input: Does this just work already? With the indices treated as map keys?
Arrays as output -- either it automatically chooses to keep numerical keys in an array, or a syntax to specify that, e.g. "v[]" would create an array of vs, and "v[i]" would create an array of vs using the index i.
Or would "[]i -> v" be a better syntax, being closer to "i -> v"?