These web pages contain the interface specifications for the modules of the SML Basis Library, which is a standard library for the 1997 Revision of SML[CITE].
The SML Basis Library provides interfaces and operations for basic
types, such as integers and strings, support for input and output
(I/O), interfaces to basic operating system interfaces, and support for
standard datatypes, such as options and lists. The Library does not attempt to define higher-level APIs, such as collection types or
graphical user-interface components. These APIs are left for other

The first section is an interaction with the respective toplevel system, in order to show the built-in types. The rest just consists of example expressions and definitions. Keywords and other reserved symbols are type-set in blue.

* Literals
* Expressions
* Functions
* Control Flow
* Value Declarations
* Type Declarations
* Matching
* Tuples
* Records
* References
* Comparisons
* List Functions
* String Functions
* Array Functions
* Input/Output
* Exceptions
* Local Declarations

Contents

1 Introduction
11 StandardML                                       
12 Programming in practice                                 
13 Readingmaterial                                     
14 Other information                                    

2 Simple applicative programming
21 Types, values and functions                               

The impetus behind these notes was the desire to provide a cohesive description of Standard ML of New Jersey, an interactive compiler and environment for Standard ML. The goal is to end up with a complete user guide to the system, including the libraries, the tools and the extensions, as well as a tutorial on how to write ``real'' applications, centered around the use of the module system and the compilation manager.

Introductions

* Functional languages are introduced.
* Advice on how to use this document is given and CAL is dismissed.
* Contributions from readers are presented.

Lesson One

* "Hello World" is our first program.
* Tutorial One concerns expressions and simple functions.
* Diversion: The Reconcilation Ball
* Self Test One: some multiple choice question to try.

Lesson Two

* Types, bindings, pattern matching and lists are all introduced
* Tutorial two
* Diversion: Bitmaps