Welcome to a tour of the Standard ML programming language!
Standard ML is a general purpose functional programming language. It is statically typed, which prevents a wide array of common programming errors, but also features powerful type inference, requiring few type declarations, if any. This makes it easy to build software that is easy to understand, extensible, and reliable.
There are free, full-program optimising compilers for it, producing efficient native code, such as MLton. The concurrency extension ‘Concurrent ML’ provides support for communicating sequential processes, and is supported by SML/NJ and MLton.
The tour consists of a set of chapters, each intended to showcase different features of Standard ML. There are examples included in the Tour of Standard ML repository. You may view the table of contents by via the ‘Table of Contents’ menu at the top of the screen, and go to the next page by clicking the right arrow.