λ
0.1 - Setup 1.0 - Values 1.1 - Let expressions 1.2 - Basic data types 1.3 - Built-in data structures 1.4 - Functions 1.5 - Fun with Functions 1.6 - Modules 1.7 - Module Signatures 1.8 - Signatures, continued 1.9 - Functors 1.10 - Defining data types 1.11 - Recursive types 2.0 - Pattern matching 2.1 - Exhaustivity checking 2.2 - Value deconstruction 2.3 - Pattern matching in functions 2.4 - Conditional expressions 2.5 - Recursion 2.6 - Higher order functions 2.7 - Infinite loops 2.8 - Chaining expressions for side effects 2.9 - Mutable references 2.10 - While loops 3.0 - Concurrent ML Introduction 3.1 - Spawning a light-weight thread 3.2 - Channels 3.3 - Select 3.4 - Mailboxes 3.5 - IVars 3.6 - MVars 0.0 - Welcome

0.0: Welcome

Welcome to a tour of the Standard ML programming language!

What is Standard ML?

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

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 navigate between pages with the arrows in the navigation bar, or via your keyboard’s arrow keys.