diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-25 22:27:19 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-25 22:27:19 -0700 |
| commit | c5ffb6e1cc9c5ff880d037c53b8ebc8562be0008 (patch) | |
| tree | 2d05d987ec3c81bfbb0c1f598966d9d1b16e9b1f /html/tangle.mu.html | |
| parent | b2757892d553352feb59d70b1e7241ccdafa6905 (diff) | |
| download | mu-c5ffb6e1cc9c5ff880d037c53b8ebc8562be0008.tar.gz | |
1459
Diffstat (limited to 'html/tangle.mu.html')
| -rw-r--r-- | html/tangle.mu.html | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/html/tangle.mu.html b/html/tangle.mu.html new file mode 100644 index 00000000..f2a6d92e --- /dev/null +++ b/html/tangle.mu.html @@ -0,0 +1,73 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> +<html> +<head> +<meta http-equiv="content-type" content="text/html; charset=UTF-8"> +<title>tangle.mu</title> +<meta name="Generator" content="Vim/7.4"> +<meta name="plugin-version" content="vim7.4_v1"> +<meta name="syntax" content="none"> +<meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy="> +<meta name="colorscheme" content="minimal"> +<style type="text/css"> +<!-- +pre { white-space: pre-wrap; font-family: monospace; color: #d0d0d0; background-color: #000000; } +body { font-family: monospace; color: #d0d0d0; background-color: #000000; } +* { font-size: 1em; } +.muRecipe { color: #ff8700; } +.Delimiter { color: #c000c0; } +.Comment { color: #8080ff; } +.Constant { color: #008080; } +.Special { color: #ff6060; } +.Identifier { color: #008080; } +--> +</style> + +<script type='text/javascript'> +<!-- + +--> +</script> +</head> +<body> +<pre id='vimCodeElement'> +<span class="Comment"># example program: constructing recipes out of order</span> +<span class="Comment">#</span> +<span class="Comment"># We construct a factorial function with separate base and recursive cases.</span> +<span class="Comment"># Compare factorial.mu.</span> +<span class="Comment">#</span> +<span class="Comment"># This isn't a very tasteful example, just a simple demonstration of</span> +<span class="Comment"># possibilities.</span> + +<span class="muRecipe">recipe</span> factorial [ + <span class="Identifier">default-space</span>:address:array:location<span class="Special"> <- </span>new location:type, <span class="Constant">30:literal</span> + n:number<span class="Special"> <- </span><span class="Identifier">next-ingredient</span> + <span class="Delimiter">{</span> + <span class="Identifier"> +base-case</span> + <span class="Delimiter">}</span> + <span class="Identifier"> +recursive-case</span> +] + +<span class="muRecipe">after</span><span class="Identifier"> +base-case</span> [ + <span class="Comment"># if n=0 return 1</span> + zero?:boolean<span class="Special"> <- </span>equal n:number, <span class="Constant">0:literal</span> + <span class="Identifier">break-unless</span> zero?:boolean + <span class="Identifier">reply</span> <span class="Constant">1:literal</span> +] + +<span class="muRecipe">after</span><span class="Identifier"> +recursive-case</span> [ + <span class="Comment"># return n * factorial(n - 1)</span> + x:number<span class="Special"> <- </span>subtract n:number, <span class="Constant">1:literal</span> + subresult:number<span class="Special"> <- </span>factorial x:number + result:number<span class="Special"> <- </span>multiply subresult:number, n:number + <span class="Identifier">reply</span> result:number +] + +<span class="muRecipe">recipe</span> main [ + 1:number<span class="Special"> <- </span>factorial <span class="Constant">5:literal</span> + <span class="Identifier"> $print</span> <span class="Constant">[result: ]</span>, 1:number, [ +] +] +</pre> +</body> +</html> +<!-- vim: set foldmethod=manual : --> |