about summary refs log tree commit diff stats
path: root/html/074list.mu.html
blob: 5154783c0b815841b93a20897db02c1ef0c64be0 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
<!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>Mu - 074list.mu</title>
<meta name="Generator" content="Vim/7.4">
<meta name="plugin-version" content="vim7.4_v2">
<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: #eeeeee; background-color: #080808; }
body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
* { font-size: 12pt; font-size: 1em; }
.muRecipe { color: #ff8700; }
.muData { color: #ffff00; }
.muScenario { color: #00af00; }
.Delimiter { color: #800080; }
.Comment { color: #9090ff; }
.Constant { color: #00a0a0; }
.Special { color: #c00000; }
.muControl { color: #c0a020; }
-->
</style>

<script type='text/javascript'>
<!--

-->
</script>
</head>
<body>
<pre id='vimCodeElement'>
<span class="Comment"># A list links up multiple objects together to make them easier to manage.</span>
<span class="Comment">#</span>
<span class="Comment"># The objects must be of the same type. If you want to store multiple types in</span>
<span class="Comment"># a single list, use an exclusive-container.</span>

<span class="muData">container</span> list:_elem [
  value:_elem
  next:address:list:_elem
]

<span class="muRecipe">def</span> push x:_elem, in:address:list:_elem<span class="muRecipe"> -&gt; </span>result:address:list:_elem [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  result<span class="Special"> &lt;- </span>new <span class="Delimiter">{</span>(list _elem): type<span class="Delimiter">}</span>
  *result<span class="Special"> &lt;- </span>merge x, in
]

<span class="muRecipe">def</span> first in:address:list:_elem<span class="muRecipe"> -&gt; </span>result:_elem [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  result<span class="Special"> &lt;- </span>get *in, <span class="Constant">value:offset</span>
]

<span class="muRecipe">def</span> rest in:address:list:_elem<span class="muRecipe"> -&gt; </span>result:address:list:_elem/contained-in:in [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  result<span class="Special"> &lt;- </span>get *in, <span class="Constant">next:offset</span>
]

<span class="muScenario">scenario</span> list-handling [
  run [
    <span class="Constant">local-scope</span>
    x:address:list:number<span class="Special"> &lt;- </span>push <span class="Constant">3</span>, <span class="Constant">0</span>
    x<span class="Special"> &lt;- </span>push <span class="Constant">4</span>, x
    x<span class="Special"> &lt;- </span>push <span class="Constant">5</span>, x
    <span class="Constant">10</span>:number/<span class="Special">raw &lt;- </span>first x
    x<span class="Special"> &lt;- </span>rest x
    <span class="Constant">11</span>:number/<span class="Special">raw &lt;- </span>first x
    x<span class="Special"> &lt;- </span>rest x
    <span class="Constant">12</span>:number/<span class="Special">raw &lt;- </span>first x
    <span class="Constant">20</span>:address:list:number/<span class="Special">raw &lt;- </span>rest x
  ]
  memory-should-contain [
    <span class="Constant">10</span><span class="Special"> &lt;- </span><span class="Constant">5</span>
    <span class="Constant">11</span><span class="Special"> &lt;- </span><span class="Constant">4</span>
    <span class="Constant">12</span><span class="Special"> &lt;- </span><span class="Constant">3</span>
    <span class="Constant">20</span><span class="Special"> &lt;- </span><span class="Constant">0</span>  <span class="Comment"># nothing left</span>
  ]
]

<span class="muRecipe">def</span> length l:address:list:_elem<span class="muRecipe"> -&gt; </span>result:number [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  <span class="muControl">return-unless</span> l, <span class="Constant">0</span>
  rest:address:list:_elem<span class="Special"> &lt;- </span>rest l
  length-of-rest:number<span class="Special"> &lt;- </span>length rest
  result<span class="Special"> &lt;- </span>add length-of-rest, <span class="Constant">1</span>
]

<span class="muRecipe">def</span> to-text in:address:list:_elem<span class="muRecipe"> -&gt; </span>result:address:array:character [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  buf:address:buffer<span class="Special"> &lt;- </span>new-buffer <span class="Constant">80</span>
  buf<span class="Special"> &lt;- </span>to-buffer in, buf
  result<span class="Special"> &lt;- </span>buffer-to-array buf
]

<span class="Comment"># variant of 'to-text' which stops printing after a few elements (and so is robust to cycles)</span>
<span class="muRecipe">def</span> to-text-line in:address:list:_elem<span class="muRecipe"> -&gt; </span>result:address:array:character [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  buf:address:buffer<span class="Special"> &lt;- </span>new-buffer <span class="Constant">80</span>
  buf<span class="Special"> &lt;- </span>to-buffer in, buf, <span class="Constant">6</span>  <span class="Comment"># max elements to display</span>
  result<span class="Special"> &lt;- </span>buffer-to-array buf
]

<span class="muRecipe">def</span> to-buffer in:address:list:_elem, buf:address:buffer<span class="muRecipe"> -&gt; </span>buf:address:buffer [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  <span class="Delimiter">{</span>
    <span class="muControl">break-if</span> in
    buf<span class="Special"> &lt;- </span>append buf, <span class="Constant">48/0</span>
    <span class="muControl">return</span>
  <span class="Delimiter">}</span>
  <span class="Comment"># append in.value to buf</span>
  val:_elem<span class="Special"> &lt;- </span>get *in, <span class="Constant">value:offset</span>
  buf<span class="Special"> &lt;- </span>append buf, val
  <span class="Comment"># now prepare next</span>
  next:address:list:_elem<span class="Special"> &lt;- </span>rest in
  nextn:number<span class="Special"> &lt;- </span>copy next
  <span class="muControl">return-unless</span> next
  buf<span class="Special"> &lt;- </span>append buf, <span class="Constant">[ -&gt; ]</span>
  <span class="Comment"># and recurse</span>
  remaining:number, optional-ingredient-found?:boolean<span class="Special"> &lt;- </span><span class="Constant">next-ingredient</span>
  <span class="Delimiter">{</span>
    <span class="muControl">break-if</span> optional-ingredient-found?
    <span class="Comment"># unlimited recursion</span>
    buf<span class="Special"> &lt;- </span>to-buffer next, buf
    <span class="muControl">return</span>
  <span class="Delimiter">}</span>
  <span class="Delimiter">{</span>
    <span class="muControl">break-unless</span> remaining
    <span class="Comment"># limited recursion</span>
    remaining<span class="Special"> &lt;- </span>subtract remaining, <span class="Constant">1</span>
    buf<span class="Special"> &lt;- </span>to-buffer next, buf, remaining
    <span class="muControl">return</span>
  <span class="Delimiter">}</span>
  <span class="Comment"># past recursion depth; insert ellipses and stop</span>
  append buf, <span class="Constant">[...]</span>
]
</pre>
</body>
</html>
<!-- vim: set foldmethod=manual : -->