Update: timing is back this time more meaningful by comparing with the compiled speed on various example and also reporting speedup factor

Author: patham9

run.sh

@@ -1,6 +1,6 @@
 (cd ./temp && cd ..) || mkdir temp
-sh run_metta.sh $1 > ./temp/OUTPUT_METTA
+sh run_metta.sh $1 $2 > ./temp/OUTPUT_METTA
 cat ./temp/OUTPUT_METTA
-sh run_scheme.sh $1 > ./temp/OUTPUT_SCHEME
+sh run_scheme.sh $1 $2 > ./temp/OUTPUT_SCHEME
 cat ./temp/OUTPUT_SCHEME
 (cmp ./temp/OUTPUT_METTA ./temp/OUTPUT_SCHEME > /dev/null && echo "==") || echo "!="

timing/README.md

@@ -0,0 +1,4 @@
+**Timing**
+
+Illustration of timing benefits of using the Mettamorph compiler on various examples.
+

timing/timing.metta

@@ -0,0 +1,18 @@
+(= (factorial $n)
+   (If (== $n 0)
+       1
+       (* $n (factorial (- $n 1)))))
+
+(= (TupleConcat $Ev1 $Ev2) (collapse (superpose ((superpose $Ev1) (superpose $Ev2)))))
+
+(= (range $K $N)
+   (If (< $K $N)
+       (TupleConcat ($K) (range (+ $K 1) $N))
+       ()))
+
+(= (TupleCount $tuple) (If (== $tuple ()) 0 (+ 1 (TupleCount (cdr-atom $tuple)))))
+
+(= (StampDisjoint $Ev1 $Ev2)
+   (== () (collapse (let* (($x (superpose $Ev1))
+                           ($y (superpose $Ev2)))
+                          (case (== $x $y) ((True overlap)))))))

timing/timing.py

@@ -0,0 +1,34 @@
+import os
+import time
+
+#Tests to run
+tests = [
+  "!(factorial 30)", 
+  "!(range 1 30)", 
+  "!(TupleCount (1 2 3 4 5 6 7 8 9 10 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30))",
+"""!(StampDisjoint (1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30) 
+                   (1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30))"""
+]
+#Run and time then:
+workdir = os.getcwd()
+for test in tests:
+    os.chdir(workdir)
+    os.system("cp timing.metta RUN.metta")
+    with open("RUN.metta", "a") as file:
+        file.write(test)
+    os.chdir("../")
+    os.system("sh run.sh ./timing/RUN.metta cat-only")
+    os.system("sh compile_scheme.sh")
+    os.system("./RUN > /dev/null") #make sure binary is already in file cache
+    print(f"TEST: {test}")
+    t1 = time.time()
+    os.system("metta RUN.metta")
+    t2 = time.time()
+    os.system("./RUN")
+    t3 = time.time()
+    DIFF1 = (t2-t1)
+    DIFF2 = (t3-t2)
+    SPEEDUP = DIFF1/DIFF2
+    print(f"TIME METTA:\t{DIFF1} seconds")
+    print(f"TIME SCHEME:\t{DIFF2} seconds")
+    print(f"SPEEDUP:\t{SPEEDUP} times faster")