<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta name="robots" content="index,nofollow"> <title>StandardML - MLton Standard ML Compiler (SML Compiler)</title> <link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css"> <link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css"> <link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css"> <link rel="Start" href="Home"> </head> <body lang="en" dir="ltr"> <script src="http://www.google-analytics.com/urchin.js" type="text/javascript"> </script> <script type="text/javascript"> _uacct = "UA-833377-1"; urchinTracker(); </script> <table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%> <tr> <td style = " border: 0px; color: darkblue; font-size: 150%; text-align: left;"> <a class = mltona href="Home">MLton MLTONWIKIVERSION</a> <td style = " border: 0px; font-size: 150%; text-align: center; width: 50%;"> StandardML <td style = " border: 0px; text-align: right;"> <table cellspacing = 0 style = "border: 0px"> <tr style = "vertical-align: middle;"> </table> <tr style = "background-color: white;"> <td colspan = 3 style = " border: 0px; font-size:70%; text-align: right;"> <a href = "Home">Home</a> <a href = "TitleIndex">Index</a> </table> <div id="content" lang="en" dir="ltr"> Standard ML (SML) is a programming language that combines excellent support for rapid prototyping, modularity, and development of large programs, with performance approaching that of C. <h2 id="head-2d4e718f0442d9c4816bb4b1aeb082186175deb7">SML Resources</h2> <ul> <li> <p> <a href="StandardMLTutorials">Tutorials</a> </p> </li> <li> <p> <a href="StandardMLBooks">Books</a> </p> </li> <li> <p> <a href="StandardMLImplementations">Implementations</a> </p> </li> <li> <p> <a class="external" href="http://google.com/coop/cse?cx=014714656471597805969%3Afzuz7eybmcy"><img src="moin-www.png" alt="[WWW]" height="11" width="11">SML web search</a> from Google Co-op </p> </li> </ul> <h2 id="head-2d5a7dcc23ca7d0417def16d68a4c3da7a76008b">Aspects of SML</h2> <ul> <li> <p> <a href="DefineTypeBeforeUse">DefineTypeBeforeUse</a> </p> </li> <li> <p> <a href="EqualityType">EqualityType</a> </p> </li> <li> <p> <a href="EqualityTypeVariable">EqualityTypeVariable</a> </p> </li> <li> <p> <a href="GenerativeDatatype">GenerativeDatatype</a> </p> </li> <li> <p> <a href="GenerativeException">GenerativeException</a> </p> </li> <li> <p> <a href="Identifier">Identifier</a> </p> </li> <li> <p> <a href="OperatorPrecedence">OperatorPrecedence</a> </p> </li> <li> <p> <a href="Overloading">Overloading</a> </p> </li> <li> <p> <a href="PolymorphicEquality">PolymorphicEquality</a> </p> </li> <li> <p> <a href="ValueRestriction">ValueRestriction</a> </p> </li> </ul> <h2 id="head-2826893caa985e193778f8e620bd5785db9b4de8">Using SML</h2> <ul> <li> <p> <a href="Fixpoints">Fixpoints</a> </p> </li> <li> <p> <a href="ForLoops">ForLoops</a> </p> </li> <li> <p> <a href="FunctionalRecordUpdate">FunctionalRecordUpdate</a> </p> </li> <li> <p> <a href="InfixingOperators">InfixingOperators</a> </p> </li> <li> <p> <a href="Lazy">Lazy</a> </p> </li> <li> <p> <a href="ObjectOrientedProgramming">ObjectOrientedProgramming</a> </p> </li> <li> <p> <a href="OptionalArguments">OptionalArguments</a> </p> </li> <li> <p> <a href="Printf">Printf</a> </p> </li> <li> <p> <a href="PropertyList">PropertyList</a> </p> </li> <li> <p> <a href="ReturnStatement">ReturnStatement</a> </p> </li> <li> <p> <a href="Serialization">Serialization</a> </p> </li> <li> <p> <a href="StandardMLGotchas">StandardMLGotchas</a> </p> </li> <li> <p> <a href="StyleGuide">StyleGuide</a> </p> </li> <li> <p> <a href="TipsForWritingConciseSML">TipsForWritingConciseSML</a> </p> </li> <li> <p> <a href="TypeVariableScope">TypeVariableScope</a> </p> </li> <li> <p> <a href="UniversalType">UniversalType</a> </p> </li> </ul> <h2 id="head-b2753352a29ee19fe5f6de47a4ce208dd7e5b162">Programming in SML</h2> <ul> <li> <p> <a href="Emacs">Emacs</a> </p> </li> <li> <p> <a href="Enscript">Enscript</a> </p> </li> </ul> <h2 id="head-70440046a3dc2e079f23ee1c57dfa76669b732aa">Notes</h2> <ul> <li> <p> <a href="StandardMLHistory"> History of SML</a> </p> </li> <li> <p> <a href="Regions">Regions</a> </p> </li> </ul> <h2 id="head-c2bde4ab5c0231d52c93e602e91fc08c6eff09a9">Related Languages</h2> <ul> <li> <p> <a href="Alice">Alice</a> </p> </li> <li> <p> <a href="FSharp">F#</a> </p> </li> <li> <p> <a href="OCaml">OCaml</a> </p> </li> </ul> </div> <p> <hr> Last edited on 2010-05-27 21:03:12 by <span title="fenrir.cs.rit.edu"><a href="MatthewFluet">MatthewFluet</a></span>. </body></html>