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">
11 <script type="text/javascript" src="./asciidoc.js"></script>
12 <script type="text/javascript">
17 <link rel="stylesheet" href="./mlton.css" type="text/css">
19 <body class="article">
21 <div id="banner-home">
22 <a href="./Home">MLton 20180207</a>
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>
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>
41 <h2 id="_sml_resources">SML Resources</h2>
42 <div class="sectionbody">
43 <div class="ulist"><ul>
46 <a href="StandardMLTutorials">Tutorials</a>
51 <a href="StandardMLBooks">Books</a>
56 <a href="StandardMLImplementations">Implementations</a>
63 <h2 id="_aspects_of_sml">Aspects of SML</h2>
64 <div class="sectionbody">
65 <div class="ulist"><ul>
68 <a href="DefineTypeBeforeUse">DefineTypeBeforeUse</a>
73 <a href="EqualityType">EqualityType</a>
78 <a href="EqualityTypeVariable">EqualityTypeVariable</a>
83 <a href="GenerativeDatatype">GenerativeDatatype</a>
88 <a href="GenerativeException">GenerativeException</a>
93 <a href="Identifier">Identifier</a>
98 <a href="OperatorPrecedence">OperatorPrecedence</a>
103 <a href="Overloading">Overloading</a>
108 <a href="PolymorphicEquality">PolymorphicEquality</a>
113 <a href="TypeVariableScope">TypeVariableScope</a>
118 <a href="ValueRestriction">ValueRestriction</a>
125 <h2 id="_using_sml">Using SML</h2>
126 <div class="sectionbody">
127 <div class="ulist"><ul>
130 <a href="Fixpoints">Fixpoints</a>
135 <a href="ForLoops">ForLoops</a>
140 <a href="FunctionalRecordUpdate">FunctionalRecordUpdate</a>
145 <a href="InfixingOperators">InfixingOperators</a>
150 <a href="Lazy">Lazy</a>
155 <a href="ObjectOrientedProgramming">ObjectOrientedProgramming</a>
160 <a href="OptionalArguments">OptionalArguments</a>
165 <a href="Printf">Printf</a>
170 <a href="PropertyList">PropertyList</a>
175 <a href="ReturnStatement">ReturnStatement</a>
180 <a href="Serialization">Serialization</a>
185 <a href="StandardMLGotchas">StandardMLGotchas</a>
190 <a href="StyleGuide">StyleGuide</a>
195 <a href="TipsForWritingConciseSML">TipsForWritingConciseSML</a>
200 <a href="UniversalType">UniversalType</a>
207 <h2 id="_programming_in_sml">Programming in SML</h2>
208 <div class="sectionbody">
209 <div class="ulist"><ul>
212 <a href="Emacs">Emacs</a>
217 <a href="Enscript">Enscript</a>
222 <a href="Pygments">Pygments</a>
229 <h2 id="_notes">Notes</h2>
230 <div class="sectionbody">
231 <div class="ulist"><ul>
234 <a href="StandardMLHistory"> History of SML</a>
239 <a href="Regions">Regions</a>
246 <h2 id="_related_languages">Related Languages</h2>
247 <div class="sectionbody">
248 <div class="ulist"><ul>
251 <a href="Alice">Alice</a>
256 <a href="FSharp">F#</a>
261 <a href="OCaml">OCaml</a>
268 <div id="footnotes"><hr></div>
270 <div id="footer-text">
272 <div id="footer-badges">