diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-07-27 16:01:55 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-07-27 17:47:59 -0700 |
commit | 6e1eeeebfb453fa7c871869c19375ce60fbd7413 (patch) | |
tree | 539c4a3fdf1756ae79770d5c4aaf6366f1d1525e /archive/2.vm/tangle.mu | |
parent | 8846a7f85cc04b77b2fe8a67b6d317723437b00c (diff) | |
download | mu-6e1eeeebfb453fa7c871869c19375ce60fbd7413.tar.gz |
5485 - promote SubX to top-level
Diffstat (limited to 'archive/2.vm/tangle.mu')
-rw-r--r-- | archive/2.vm/tangle.mu | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/archive/2.vm/tangle.mu b/archive/2.vm/tangle.mu new file mode 100644 index 00000000..91f12dea --- /dev/null +++ b/archive/2.vm/tangle.mu @@ -0,0 +1,36 @@ +# example program: constructing functions out of order +# +# We construct a factorial function with separate base and recursive cases. +# Compare factorial.mu. +# +# This isn't a very tasteful example, just a basic demonstration of +# possibilities. + +def factorial n:num -> result:num [ + local-scope + load-inputs + <factorial-cases> +] + +after <factorial-cases> [ + # if n=0 return 1 + return-unless n, 1 +] + +after <factorial-cases> [ + # return n * factorial(n - 1) + { + break-unless n + x:num <- subtract n, 1 + subresult:num <- factorial x + result <- multiply subresult, n + return result + } +] + +def main [ + 1:num <- factorial 5 + # trailing space in next line is to help with syntax highlighting + $print [result: ], 1:num, [ +] +] |