diff options
Diffstat (limited to 'arc/generic.mu')
-rw-r--r-- | arc/generic.mu | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/arc/generic.mu b/arc/generic.mu new file mode 100644 index 00000000..1c4b9bb0 --- /dev/null +++ b/arc/generic.mu @@ -0,0 +1,30 @@ +; To demonstrate generic functions, we'll construct a factorial function with +; separate base and recursive clauses. Compare factorial.mu. + +; factorial n = n*factorial(n-1) +(function factorial [ + (default-space:space-address <- new space:literal 30:literal) + (n:integer <- input 0:literal) + (x:integer <- subtract n:integer 1:literal) + (subresult:integer <- factorial x:integer) + (result:integer <- multiply subresult:integer n:integer) + (reply result:integer) +]) + +; factorial 0 = 1 +(function factorial [ + (default-space:space-address <- new space:literal 30:literal) + (n:integer <- input 0:literal) + { begin + (zero?:boolean <- equal n:integer 0:literal) + (break-unless zero?:boolean) + (reply 1:literal) + } +]) + +(function main [ + (1:integer <- factorial 5:literal) + ($print (("result: " literal))) + (print-integer nil:literal/terminal 1:integer) + ($print (("\n" literal))) +]) |