Optimized 'Array.subarray', 3.90575s -> 25.046ms for taking the first half of an array of 10k ints.

bench/array_subarray.carp

@@ -0,0 +1,26 @@
+(load "Bench.carp")
+(use Bench)
+(load "Debug.carp")
+(Debug.sanitize-addresses)
+(use Array)
+
+(def n 1000)
+
+
+(defn some-subarray []
+  (let-do [a (replicate n &1)
+           b (subarray &a 0 (/ n 2))]
+    (assert (= (/ n 2) (count &b)))))
+
+(defn perform-bench [new-n]
+  (do
+    (set! n new-n)
+    (println* "\nTaking sub-array of array with count " n)
+    (bench some-subarray)))
+
+(defn main []
+  (do
+    (perform-bench 1000)
+    (perform-bench 10000)
+    (perform-bench 100000)
+    ))

bench/array_update.carp

@@ -17,8 +17,8 @@
 
 (defn perform-bench [new-n]
   (do
-    (println* "\nUpdating array with count " n)
     (set! n new-n)
+    (println* "\nUpdating array with count " n)
     (bench some-updating)))
 
 (defn main []

core/Array.carp

@@ -53,7 +53,7 @@
     (let [result []]
       (do
         (for [i start-index end-index]
-          (set! result (push-back @&result @(nth xs i))))
+          (set! result (push-back result @(nth xs i))))
         result)))
 
   (defn prefix-array [xs end-index]

docs/Todo.md

@@ -34,7 +34,6 @@
 * [0.4] The type error when setting a variable but missing the '&' is confusing: "Can't unify Int with &Int"
 * [0.4] Defining a function like 'add-ref' (see the numeric modules), refering to '+' does not resolve to '+' inside the module, which gives the function an overly generic type.
 * [0.4] Report correct column in errors at all times, sometimes it's a bit too low.
-* [0.4] Split up core into smaller modules.
 
 * [1.0] Macros for generating 'read' functions to read objects back into memory from string representation.
 * [1.0] A way to assert compiler errors in tests