Changes between Version 2 and Version 3 of Arrays

Timestamp:

09/14/13 14:45:36 (13 years ago)

Author:

siegel

Comment:

--

Arrays

@@ -1 @@
-= Arrays =
+== True Arrays ==
 
 C uses an "array-pointer" pun.  This is not a particularly useful feature and leads to a lot of confusion.  In C, code such as
@@ -57 +57 @@
 }}}
 
+== Sequence Operations ==
+
+The following operations are available for arrays:
+
+* `int $length(T a[[]])`
+ * returns the number of elements in this array
+* `T[[]] $concat(T a[[]], Tb[[]])`
+ * returns the concatenation of two arrays
+* `T[[]] $add(T a[[]], T x)`
+ * returns the result of adding the element `x` to the end of array `a`
+* `T[[]] $remove(T a[[]], int i)`
+ * returns the result of removing the element at index `i` from the array `a` (with subsequent element shifted down)
+* `T[[]] $subseq(T a[[]], int start, int end)`
+ * returns the subsequence of `a` starting at index `start` and ending at index `end-1`
+* `T[[]] $write(T a[[]], int i, T x)`
+ * returns the sequence obtained by replacing the element of `a` at index `i` with `x`
+
 == Other related ideas ==