Add Takeuchi func for microbenchmarking.

tadd · Feb 1, 2025 · 6bef298 · 6bef298
1 parent 05f36e0
commit 6bef298
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -2,4 +2,4 @@
 schaf
 basic-test
 *-san
-/microbench/*.scm
+/microbench/symbols.scm
diff --git a/microbench/tarai.scm b/microbench/tarai.scm
@@ -0,0 +1,10 @@
+(define tarai
+  (lambda (x y z)
+  (if (<= x y)
+      y
+      (tarai
+       (tarai (- x 1) y z)
+       (tarai (- y 1) z x)
+       (tarai (- z 1) x y)))))
+
+(tarai 9 8 0)