Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / StandardML
1 <!DOCTYPE html>
2 <html lang="en">
3 <head>
4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
5 <meta name="generator" content="AsciiDoc 8.6.9">
6 <title>StandardML</title>
7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
8 <link rel="stylesheet" href="./pygments.css" type="text/css">
9
10
11 <script type="text/javascript" src="./asciidoc.js"></script>
12 <script type="text/javascript">
13 /*<![CDATA[*/
14 asciidoc.install(2);
15 /*]]>*/
16 </script>
17 <link rel="stylesheet" href="./mlton.css" type="text/css">
18 </head>
19 <body class="article">
20 <div id="banner">
21 <div id="banner-home">
22 <a href="./Home">MLton 20180207</a>
23 </div>
24 </div>
25 <div id="header">
26 <h1>StandardML</h1>
27 <div id="toc">
28 <div id="toctitle">Table of Contents</div>
29 <noscript><p><b>JavaScript must be enabled in your browser to display the table of contents.</b></p></noscript>
30 </div>
31 </div>
32 <div id="content">
33 <div id="preamble">
34 <div class="sectionbody">
35 <div class="paragraph"><p>Standard ML (SML) is a programming language that combines excellent
36 support for rapid prototyping, modularity, and development of large
37 programs, with performance approaching that of C.</p></div>
38 </div>
39 </div>
40 <div class="sect1">
41 <h2 id="_sml_resources">SML Resources</h2>
42 <div class="sectionbody">
43 <div class="ulist"><ul>
44 <li>
45 <p>
46 <a href="StandardMLTutorials">Tutorials</a>
47 </p>
48 </li>
49 <li>
50 <p>
51 <a href="StandardMLBooks">Books</a>
52 </p>
53 </li>
54 <li>
55 <p>
56 <a href="StandardMLImplementations">Implementations</a>
57 </p>
58 </li>
59 </ul></div>
60 </div>
61 </div>
62 <div class="sect1">
63 <h2 id="_aspects_of_sml">Aspects of SML</h2>
64 <div class="sectionbody">
65 <div class="ulist"><ul>
66 <li>
67 <p>
68 <a href="DefineTypeBeforeUse">DefineTypeBeforeUse</a>
69 </p>
70 </li>
71 <li>
72 <p>
73 <a href="EqualityType">EqualityType</a>
74 </p>
75 </li>
76 <li>
77 <p>
78 <a href="EqualityTypeVariable">EqualityTypeVariable</a>
79 </p>
80 </li>
81 <li>
82 <p>
83 <a href="GenerativeDatatype">GenerativeDatatype</a>
84 </p>
85 </li>
86 <li>
87 <p>
88 <a href="GenerativeException">GenerativeException</a>
89 </p>
90 </li>
91 <li>
92 <p>
93 <a href="Identifier">Identifier</a>
94 </p>
95 </li>
96 <li>
97 <p>
98 <a href="OperatorPrecedence">OperatorPrecedence</a>
99 </p>
100 </li>
101 <li>
102 <p>
103 <a href="Overloading">Overloading</a>
104 </p>
105 </li>
106 <li>
107 <p>
108 <a href="PolymorphicEquality">PolymorphicEquality</a>
109 </p>
110 </li>
111 <li>
112 <p>
113 <a href="TypeVariableScope">TypeVariableScope</a>
114 </p>
115 </li>
116 <li>
117 <p>
118 <a href="ValueRestriction">ValueRestriction</a>
119 </p>
120 </li>
121 </ul></div>
122 </div>
123 </div>
124 <div class="sect1">
125 <h2 id="_using_sml">Using SML</h2>
126 <div class="sectionbody">
127 <div class="ulist"><ul>
128 <li>
129 <p>
130 <a href="Fixpoints">Fixpoints</a>
131 </p>
132 </li>
133 <li>
134 <p>
135 <a href="ForLoops">ForLoops</a>
136 </p>
137 </li>
138 <li>
139 <p>
140 <a href="FunctionalRecordUpdate">FunctionalRecordUpdate</a>
141 </p>
142 </li>
143 <li>
144 <p>
145 <a href="InfixingOperators">InfixingOperators</a>
146 </p>
147 </li>
148 <li>
149 <p>
150 <a href="Lazy">Lazy</a>
151 </p>
152 </li>
153 <li>
154 <p>
155 <a href="ObjectOrientedProgramming">ObjectOrientedProgramming</a>
156 </p>
157 </li>
158 <li>
159 <p>
160 <a href="OptionalArguments">OptionalArguments</a>
161 </p>
162 </li>
163 <li>
164 <p>
165 <a href="Printf">Printf</a>
166 </p>
167 </li>
168 <li>
169 <p>
170 <a href="PropertyList">PropertyList</a>
171 </p>
172 </li>
173 <li>
174 <p>
175 <a href="ReturnStatement">ReturnStatement</a>
176 </p>
177 </li>
178 <li>
179 <p>
180 <a href="Serialization">Serialization</a>
181 </p>
182 </li>
183 <li>
184 <p>
185 <a href="StandardMLGotchas">StandardMLGotchas</a>
186 </p>
187 </li>
188 <li>
189 <p>
190 <a href="StyleGuide">StyleGuide</a>
191 </p>
192 </li>
193 <li>
194 <p>
195 <a href="TipsForWritingConciseSML">TipsForWritingConciseSML</a>
196 </p>
197 </li>
198 <li>
199 <p>
200 <a href="UniversalType">UniversalType</a>
201 </p>
202 </li>
203 </ul></div>
204 </div>
205 </div>
206 <div class="sect1">
207 <h2 id="_programming_in_sml">Programming in SML</h2>
208 <div class="sectionbody">
209 <div class="ulist"><ul>
210 <li>
211 <p>
212 <a href="Emacs">Emacs</a>
213 </p>
214 </li>
215 <li>
216 <p>
217 <a href="Enscript">Enscript</a>
218 </p>
219 </li>
220 <li>
221 <p>
222 <a href="Pygments">Pygments</a>
223 </p>
224 </li>
225 </ul></div>
226 </div>
227 </div>
228 <div class="sect1">
229 <h2 id="_notes">Notes</h2>
230 <div class="sectionbody">
231 <div class="ulist"><ul>
232 <li>
233 <p>
234 <a href="StandardMLHistory"> History of SML</a>
235 </p>
236 </li>
237 <li>
238 <p>
239 <a href="Regions">Regions</a>
240 </p>
241 </li>
242 </ul></div>
243 </div>
244 </div>
245 <div class="sect1">
246 <h2 id="_related_languages">Related Languages</h2>
247 <div class="sectionbody">
248 <div class="ulist"><ul>
249 <li>
250 <p>
251 <a href="Alice">Alice</a>
252 </p>
253 </li>
254 <li>
255 <p>
256 <a href="FSharp">F#</a>
257 </p>
258 </li>
259 <li>
260 <p>
261 <a href="OCaml">OCaml</a>
262 </p>
263 </li>
264 </ul></div>
265 </div>
266 </div>
267 </div>
268 <div id="footnotes"><hr></div>
269 <div id="footer">
270 <div id="footer-text">
271 </div>
272 <div id="footer-badges">
273 </div>
274 </div>
275 </body>
276 </html>