Array addition and subtraction

A way to add elements to (and remove elements from) an array would be really helpful. Eg something like

Array foo = range(5) # ie [ 0, 1, 2, 3, 4 ]
Array foo2 = foo + 6 # ie [ 0, 1, 2, 3, 4, 6 ]
Array foo3 = foo2 + range(2) # ie [ 0, 1, 2, 3, 4, 6, 0, 1 ]
Array foo4 = foo3 - 1 # Question: do we remove the first, the last, or both 1's?
Array foo5 = foo4 - [4, 6] # Remove both the 4 and the 6

[fpichon]

I found some work around for people that need it :

Array[Int] x = [1,2]
Array[Int] y = [3]
Array[Int] z = flatten([x,y])

Hope it helps.

[patmagee]

I think these are important features. I have come across situations where concatenating two result sets was annoyingly difficult. IE spinning up a new VM for a simple echo of two separate lists. So I definitely support this.

What I would disagree with the current suggestion is how the concatenation is performed. I think the types should match, which would then make this equivalent to a python extend operation as opposed to an append. In this case, even single elements should be wrapped as an array. To me this looks more consistent

Array[Int] x = [1,2]
Array[Int] y = [1,2] + [3]

Additionally, I do not think that we necessarily need the corresponding binary operator -. most languages do not support list subtraction as a form of removal. the other reasonable option would be to have an engine function which performs this ie:

Array[Int] x = [1,2]
Array[Int] y = [1,2] + [3]
Array[Int] z = remove(y,1)