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
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
|
<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="AsciiDoc 8.6.8">
<title>InfixingOperators</title>
<link rel="stylesheet" href="./asciidoc.css" type="text/css">
<link rel="stylesheet" href="./pygments.css" type="text/css">
<script type="text/javascript" src="./asciidoc.js"></script>
<script type="text/javascript">
/*<![CDATA[*/
asciidoc.install();
/*]]>*/
</script>
<link rel="stylesheet" href="./mlton.css" type="text/css"/>
</head>
<body class="article">
<div id="banner">
<div id="banner-home">
<a href="./Home">MLton 20130715</a>
</div>
</div>
<div id="header">
<h1>InfixingOperators</h1>
</div>
<div id="content">
<div id="preamble">
<div class="sectionbody">
<div class="paragraph"><p>Fixity specifications are not part of signatures in
<a href="StandardML">Standard ML</a>. When one wants to use a module that
provides functions designed to be used as infix operators there are
several obvious alternatives:</p></div>
<div class="ulist"><ul>
<li>
<p>
Use only prefix applications. Unfortunately there are situations
where infix applications lead to considerably more readable code.
</p>
</li>
<li>
<p>
Make the fixity declarations at the top-level. This may lead to
collisions and may be unsustainable in a large project. Pollution of
the top-level should be avoided.
</p>
</li>
<li>
<p>
Make the fixity declarations at each scope where you want to use
infix applications. The duplication becomes inconvenient if the
operators are widely used. Duplication of code should be avoided.
</p>
</li>
<li>
<p>
Use non-standard extensions, such as the <a href="MLBasis"> ML Basis system</a>
to control the scope of fixity declarations. This has the obvious
drawback of reduced portability.
</p>
</li>
<li>
<p>
Reuse existing infix operator symbols (<span class="monospaced">^</span>, <span class="monospaced">+</span>, <span class="monospaced">-</span>, …). This
can be convenient when the standard operators aren’t needed in the
same scope with the new operators. On the other hand, one is limited
to the standard operator symbols and the code may appear confusing.
</p>
</li>
</ul></div>
<div class="paragraph"><p>None of the obvious alternatives is best in every case. The following
describes a slightly less obvious alternative that can sometimes be
useful. The idea is to approximate Haskell’s special syntax for
treating any identifier enclosed in grave accents (backquotes) as an
infix operator. In Haskell, instead of writing the prefix application
<span class="monospaced">f x y</span> one can write the infix application <span class="monospaced">x `f` y</span>.</p></div>
</div>
</div>
<div class="sect1">
<h2 id="_infixing_operators">Infixing operators</h2>
<div class="sectionbody">
<div class="paragraph"><p>Let’s first take a look at the definitions of the operators:</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="k">infix</span><span class="w"> </span><span class="mi">3</span><span class="w"> </span><span class="n"><\</span><span class="w"> </span><span class="k">fun</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="n"><\</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="k">fn</span><span class="w"> </span><span class="n">y</span><span class="w"> </span><span class="p">=></span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="p">(</span><span class="n">x</span><span class="p">,</span><span class="w"> </span><span class="n">y</span><span class="p">)</span><span class="w"> </span><span class="cm">(* Left section *)</span><span class="w"></span>
<span class="k">infix</span><span class="w"> </span><span class="mi">3</span><span class="w"> </span><span class="n">\></span><span class="w"> </span><span class="k">fun</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="n">\></span><span class="w"> </span><span class="n">y</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="n">y</span><span class="w"> </span><span class="cm">(* Left application *)</span><span class="w"></span>
<span class="k">infixr</span><span class="w"> </span><span class="mi">3</span><span class="w"> </span><span class="n">/></span><span class="w"> </span><span class="k">fun</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="n">/></span><span class="w"> </span><span class="n">y</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="k">fn</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="p">=></span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="p">(</span><span class="n">x</span><span class="p">,</span><span class="w"> </span><span class="n">y</span><span class="p">)</span><span class="w"> </span><span class="cm">(* Right section *)</span><span class="w"></span>
<span class="k">infixr</span><span class="w"> </span><span class="mi">3</span><span class="w"> </span><span class="n"></</span><span class="w"> </span><span class="k">fun</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="n"></</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="cm">(* Right application *)</span><span class="w"></span>
<span class="k">infix</span><span class="w"> </span><span class="mi">2</span><span class="w"> </span><span class="n">o</span><span class="w"> </span><span class="cm">(* See motivation below *)</span><span class="w"></span>
<span class="k">infix</span><span class="w"> </span><span class="mi">0</span><span class="w"> </span><span class="n">:=</span><span class="w"></span>
</pre></div></div></div>
<div class="paragraph"><p>The left and right sectioning operators, <span class="monospaced"><\</span> and <span class="monospaced">/></span>, are useful in
SML for partial application of infix operators.
<a href="References#Paulson96"> ML For the Working Programmer</a> describes curried
functions <span class="monospaced">secl</span> and <span class="monospaced">secr</span> for the same purpose on pages 179-181.
For example,</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="n">List</span><span class="p">.</span><span class="n">map</span><span class="w"> </span><span class="p">(</span><span class="k">op</span><span class="n">-</span><span class="w"> </span><span class="n">/></span><span class="w"> </span><span class="n">y</span><span class="p">)</span><span class="w"></span>
</pre></div></div></div>
<div class="paragraph"><p>is a function for subtracting <span class="monospaced">y</span> from a list of integers and</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="n">List</span><span class="p">.</span><span class="n">exists</span><span class="w"> </span><span class="p">(</span><span class="n">x</span><span class="w"> </span><span class="n"><\</span><span class="w"> </span><span class="k">op</span><span class="p">=)</span><span class="w"></span>
</pre></div></div></div>
<div class="paragraph"><p>is a function for testing whether a list contains an <span class="monospaced">x</span>.</p></div>
<div class="paragraph"><p>Together with the left and right application operators, <span class="monospaced">\></span> and <span class="monospaced"></</span>,
the sectioning operators provide a way to treat any binary function
(i.e. a function whose domain is a pair) as an infix operator. In
general,</p></div>
<div class="listingblock">
<div class="content monospaced">
<pre>x0 <\f1\> x1 <\f2\> x2 ... <\fN\> xN = fN (... f2 (f1 (x0, x1), x2) ..., xN)</pre>
</div></div>
<div class="paragraph"><p>and</p></div>
<div class="listingblock">
<div class="content monospaced">
<pre>xN </fN/> ... x2 </f2/> x1 </f1/> x0 = fN (xN, ... f2 (x2, f1 (x1, x0)) ...)</pre>
</div></div>
<div class="sect2">
<h3 id="_examples">Examples</h3>
<div class="paragraph"><p>As a fairly realistic example, consider providing a function for sequencing
comparisons:</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="k">structure</span><span class="w"> </span><span class="n">Order</span><span class="w"> </span><span class="cm">(* ... *)</span><span class="w"> </span><span class="p">=</span><span class="w"></span>
<span class="w"> </span><span class="k">struct</span><span class="w"></span>
<span class="w"> </span><span class="cm">(* ... *)</span><span class="w"></span>
<span class="w"> </span><span class="k">val</span><span class="w"> </span><span class="n">orWhenEq</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="k">fn</span><span class="w"> </span><span class="p">(</span><span class="n">EQUAL</span><span class="p">,</span><span class="w"> </span><span class="n">th</span><span class="p">)</span><span class="w"> </span><span class="p">=></span><span class="w"> </span><span class="n">th</span><span class="w"> </span><span class="p">()</span><span class="w"></span>
<span class="w"> </span><span class="p">|</span><span class="w"> </span><span class="p">(</span><span class="n">other</span><span class="p">,</span><span class="w"> </span><span class="p">_)</span><span class="w"> </span><span class="p">=></span><span class="w"> </span><span class="n">other</span><span class="w"></span>
<span class="w"> </span><span class="cm">(* ... *)</span><span class="w"></span>
<span class="w"> </span><span class="k">end</span><span class="w"></span>
</pre></div></div></div>
<div class="paragraph"><p>Using <span class="monospaced">orWhenEq</span> and the infixing operators, one can write a
<span class="monospaced">compare</span> function for triples as</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="k">fun</span><span class="w"> </span><span class="n">compare</span><span class="w"> </span><span class="p">(</span><span class="n">fad</span><span class="p">,</span><span class="w"> </span><span class="n">fbe</span><span class="p">,</span><span class="w"> </span><span class="n">fcf</span><span class="p">)</span><span class="w"> </span><span class="p">((</span><span class="n">a</span><span class="p">,</span><span class="w"> </span><span class="n">b</span><span class="p">,</span><span class="w"> </span><span class="n">c</span><span class="p">),</span><span class="w"> </span><span class="p">(</span><span class="n">d</span><span class="p">,</span><span class="w"> </span><span class="n">e</span><span class="p">,</span><span class="w"> </span><span class="n">f</span><span class="p">))</span><span class="w"> </span><span class="p">=</span><span class="w"></span>
<span class="w"> </span><span class="n">fad</span><span class="w"> </span><span class="p">(</span><span class="n">a</span><span class="p">,</span><span class="w"> </span><span class="n">d</span><span class="p">)</span><span class="w"> </span><span class="n"><\Order</span><span class="p">.</span><span class="n">orWhenEq\></span><span class="w"> </span><span class="n">`fbe</span><span class="w"> </span><span class="p">(</span><span class="n">b</span><span class="p">,</span><span class="w"> </span><span class="n">e</span><span class="p">)</span><span class="w"> </span><span class="n"><\Order</span><span class="p">.</span><span class="n">orWhenEq\></span><span class="w"> </span><span class="n">`fcf</span><span class="w"> </span><span class="p">(</span><span class="n">c</span><span class="p">,</span><span class="w"> </span><span class="n">f</span><span class="p">)</span><span class="w"></span>
</pre></div></div></div>
<div class="paragraph"><p>where <span class="monospaced">`</span> is defined as</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="k">fun</span><span class="w"> </span><span class="n">`f</span><span class="w"> </span><span class="n">x</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="k">fn</span><span class="w"> </span><span class="p">()</span><span class="w"> </span><span class="p">=></span><span class="w"> </span><span class="n">f</span><span class="w"> </span><span class="n">x</span><span class="w"></span>
</pre></div></div></div>
<div class="paragraph"><p>Although <span class="monospaced">orWhenEq</span> can be convenient (try rewriting the above without
it), it is probably not useful enough to be defined at the top level
as an infix operator. Fortunately we can use the infixing operators
and don’t have to.</p></div>
<div class="paragraph"><p>Another fairly realistic example would be to use the infixing operators with
the technique described on the <a href="Printf">Printf</a> page. Assuming that you would have
a <span class="monospaced">Printf</span> module binding <span class="monospaced">printf</span>, <span class="monospaced">`</span>, and formatting combinators
named <span class="monospaced">int</span> and <span class="monospaced">string</span>, you could write</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="k">let</span><span class="w"> </span><span class="k">open</span><span class="w"> </span><span class="n">Printf</span><span class="w"> </span><span class="k">in</span><span class="w"></span>
<span class="w"> </span><span class="n">printf</span><span class="w"> </span><span class="p">(</span><span class="n">`</span><span class="s">"Here's an int "</span><span class="n"><\int\></span><span class="s">" and a string "</span><span class="n"><\string\></span><span class="s">"."</span><span class="p">)</span><span class="w"> </span><span class="mi">13</span><span class="w"> </span><span class="s">"foo"</span><span class="w"> </span><span class="k">end</span><span class="w"></span>
</pre></div></div></div>
<div class="paragraph"><p>without having to duplicate the fixity declarations. Alternatively, you could
write</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="n">P</span><span class="p">.</span><span class="n">printf</span><span class="w"> </span><span class="p">(</span><span class="n">P</span><span class="p">.</span><span class="n">`</span><span class="s">"Here's an int "</span><span class="n"><\P</span><span class="p">.</span><span class="n">int\></span><span class="s">" and a string "</span><span class="n"><\P</span><span class="p">.</span><span class="n">string\></span><span class="s">"."</span><span class="p">)</span><span class="w"> </span><span class="mi">13</span><span class="w"> </span><span class="s">"foo"</span><span class="w"></span>
</pre></div></div></div>
<div class="paragraph"><p>assuming you have the made the binding</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="k">structure</span><span class="w"> </span><span class="n">P</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="n">Printf</span><span class="w"></span>
</pre></div></div></div>
</div>
</div>
</div>
<div class="sect1">
<h2 id="_application_and_piping_operators">Application and piping operators</h2>
<div class="sectionbody">
<div class="paragraph"><p>The left and right application operators may also provide some notational
convenience on their own. In general,</p></div>
<div class="listingblock">
<div class="content monospaced">
<pre>f \> x1 \> ... \> xN = f x1 ... xN</pre>
</div></div>
<div class="paragraph"><p>and</p></div>
<div class="listingblock">
<div class="content monospaced">
<pre>xN </ ... </ x1 </ f = f x1 ... xN</pre>
</div></div>
<div class="paragraph"><p>If nothing else, both of them can eliminate parentheses. For example,</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="n">foo</span><span class="w"> </span><span class="p">(</span><span class="mi">1</span><span class="w"> </span><span class="n">+</span><span class="w"> </span><span class="mi">2</span><span class="p">)</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="n">foo</span><span class="w"> </span><span class="n">\></span><span class="w"> </span><span class="mi">1</span><span class="w"> </span><span class="n">+</span><span class="w"> </span><span class="mi">2</span><span class="w"></span>
</pre></div></div></div>
<div class="paragraph"><p>The left and right application operators are related to operators
that could be described as the right and left piping operators:</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="k">infix</span><span class="w"> </span><span class="mi">1</span><span class="w"> </span><span class="n">>|</span><span class="w"> </span><span class="k">val</span><span class="w"> </span><span class="k">op</span><span class="n">>|</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="k">op</span><span class="n"></</span><span class="w"> </span><span class="cm">(* Left pipe *)</span><span class="w"></span>
<span class="k">infixr</span><span class="w"> </span><span class="mi">1</span><span class="w"> </span><span class="n">|<</span><span class="w"> </span><span class="k">val</span><span class="w"> </span><span class="k">op</span><span class="n">|<</span><span class="w"> </span><span class="p">=</span><span class="w"> </span><span class="k">op</span><span class="n">\></span><span class="w"> </span><span class="cm">(* Right pipe *)</span><span class="w"></span>
</pre></div></div></div>
<div class="paragraph"><p>As you can see, the left and right piping operators, <span class="monospaced">>|</span> and <span class="monospaced">|<</span>,
are the same as the right and left application operators,
respectively, except the associativities are reversed and the binding
strength is lower. They are useful for piping data through a sequence
of operations. In general,</p></div>
<div class="listingblock">
<div class="content monospaced">
<pre>x >| f1 >| ... >| fN = fN (... (f1 x) ...) = (fN o ... o f1) x</pre>
</div></div>
<div class="paragraph"><p>and</p></div>
<div class="listingblock">
<div class="content monospaced">
<pre>fN |< ... |< f1 |< x = fN (... (f1 x) ...) = (fN o ... o f1) x</pre>
</div></div>
<div class="paragraph"><p>The right piping operator, <span class="monospaced">|<</span>, is provided by the Haskell prelude as
<span class="monospaced">$</span>. It can be convenient in CPS or continuation passing style.</p></div>
<div class="paragraph"><p>A use for the left piping operator is with parsing combinators. In a
strict language, like SML, eta-reduction is generally unsafe. Using
the left piping operator, parsing functions can be formatted
conveniently as</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="k">fun</span><span class="w"> </span><span class="n">parsingFunc</span><span class="w"> </span><span class="n">input</span><span class="w"> </span><span class="p">=</span><span class="w"></span>
<span class="w"> </span><span class="n">input</span><span class="w"> </span><span class="n">>|</span><span class="w"> </span><span class="cm">(* ... *)</span><span class="w"></span>
<span class="w"> </span><span class="n">||</span><span class="w"> </span><span class="cm">(* ... *)</span><span class="w"></span>
<span class="w"> </span><span class="n">||</span><span class="w"> </span><span class="cm">(* ... *)</span><span class="w"></span>
</pre></div></div></div>
<div class="paragraph"><p>where <span class="monospaced">||</span> is supposed to be a combinator provided by the parsing combinator
library.</p></div>
</div>
</div>
<div class="sect1">
<h2 id="_about_precedences">About precedences</h2>
<div class="sectionbody">
<div class="paragraph"><p>You probably noticed that we redefined the
<a href="OperatorPrecedence">precedences</a> of the function composition operator
<span class="monospaced">o</span> and the assignment operator <span class="monospaced">:=</span>. Doing so is not strictly
necessary, but can be convenient and should be relatively
safe. Consider the following motivating examples from
<a href="WesleyTerpstra"> Wesley W. Terpstra</a> relying on the redefined
precedences:</p></div>
<div class="listingblock">
<div class="content"><div class="highlight"><pre><span class="n">Word8</span><span class="p">.</span><span class="n">fromInt</span><span class="w"> </span><span class="n">o</span><span class="w"> </span><span class="n">Char</span><span class="p">.</span><span class="n">ord</span><span class="w"> </span><span class="n">o</span><span class="w"> </span><span class="n">s</span><span class="w"> </span><span class="n"><\String</span><span class="p">.</span><span class="n">sub</span><span class="w"></span>
<span class="cm">(* Combining sectioning and composition *)</span><span class="w"></span>
<span class="n">x</span><span class="w"> </span><span class="n">:=</span><span class="w"> </span><span class="n">s</span><span class="w"> </span><span class="n"><\String</span><span class="p">.</span><span class="n">sub\></span><span class="w"> </span><span class="n">i</span><span class="w"></span>
<span class="cm">(* Assigning the result of an infixed application *)</span><span class="w"></span>
</pre></div></div></div>
<div class="paragraph"><p>In imperative languages, assignment usually has the lowest precedence
(ignoring statement separators). The precedence of <span class="monospaced">:=</span> in the
<a href="BasisLibrary"> Basis Library</a> is perhaps unnecessarily high, because
an expression of the form <span class="monospaced">r := x</span> always returns a unit, which makes
little sense to combine with anything. Dropping <span class="monospaced">:=</span> to the lowest
precedence level makes it behave more like in other imperative
languages.</p></div>
<div class="paragraph"><p>The case for <span class="monospaced">o</span> is different. With the exception of <span class="monospaced">before</span> and
<span class="monospaced">:=</span>, it doesn’t seem to make much sense to use <span class="monospaced">o</span> with any of the
operators defined by the <a href="BasisLibrary"> Basis Library</a> in an
unparenthesized expression. This is simply because none of the other
operators deal with functions. It would seem that the precedence of
<span class="monospaced">o</span> could be chosen completely arbitrarily from the set <span class="monospaced">{1, ..., 9}</span>
without having any adverse effects with respect to other infix
operators defined by the <a href="BasisLibrary"> Basis Library</a>.</p></div>
</div>
</div>
<div class="sect1">
<h2 id="_design_of_the_symbols">Design of the symbols</h2>
<div class="sectionbody">
<div class="paragraph"><p>The closest approximation of Haskell’s <span class="monospaced">x `f` y</span> syntax
achievable in Standard ML would probably be something like
<span class="monospaced">x `f^ y</span>, but <span class="monospaced">^</span> is already used for string
concatenation by the <a href="BasisLibrary"> Basis Library</a>. Other
combinations of the characters <span class="monospaced">`</span> and <span class="monospaced">^</span> would be
possible, but none seems clearly the best visually. The symbols <span class="monospaced"><\</span>,
<span class="monospaced">\></span>, <span class="monospaced"></</span>, and <span class="monospaced">/></span> are reasonably concise and have a certain
self-documenting appearance and symmetry, which can help to remember
them. As the names suggest, the symbols of the piping operators <span class="monospaced">>|</span>
and <span class="monospaced">|<</span> are inspired by Unix shell pipelines.</p></div>
</div>
</div>
<div class="sect1">
<h2 id="_also_see">Also see</h2>
<div class="sectionbody">
<div class="ulist"><ul>
<li>
<p>
<a href="Utilities">Utilities</a>
</p>
</li>
</ul></div>
</div>
</div>
</div>
<div id="footnotes"><hr></div>
<div id="footer">
<div id="footer-text">
</div>
<div id="footer-badges">
</div>
</div>
</body>
</html>
|
