From 2a4088119cf41175457414dfa59bd4064b8f0562 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Wed, 1 Jan 2020 17:04:37 -0800 Subject: 5852 --- archive/0.vm.arc/counters.mu | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 archive/0.vm.arc/counters.mu (limited to 'archive/0.vm.arc/counters.mu') diff --git a/archive/0.vm.arc/counters.mu b/archive/0.vm.arc/counters.mu new file mode 100644 index 00000000..0e414513 --- /dev/null +++ b/archive/0.vm.arc/counters.mu @@ -0,0 +1,33 @@ +(function init-counter [ + (default-space:space-address <- new space:literal 30:literal) + (n:integer <- next-input) + (reply default-space:space-address) + ]) + +(function increment-counter [ + (default-space:space-address <- new space:literal 30:literal) + (0:space-address/names:init-counter <- next-input) ; setup outer space; it *must* come from 'init-counter' + (x:integer <- next-input) + (n:integer/space:1 <- add n:integer/space:1 x:integer) + (reply n:integer/space:1) + ]) + +(function main [ + (default-space:space-address <- new space:literal 30:literal) + ; counter A + (a:space-address <- init-counter 34:literal) + ; counter B + (b:space-address <- init-counter 23:literal) + ; increment both by 2 but in different ways + (increment-counter a:space-address 1:literal) + (bres:integer <- increment-counter b:space-address 2:literal) + (ares:integer <- increment-counter a:space-address 1:literal) + ; check results + ($print (("Contents of counters a: " literal))) + (print-integer nil:literal/terminal ares:integer) + ($print ((" b: " literal))) + (print-integer nil:literal/terminal bres:integer) + ($print (("\n" literal))) + ]) + +; compare http://www.paulgraham.com/accgen.html -- cgit 1.4.1-2-gfad0