Contents

 
• Getting started
  • Installation
  • The interactive system
  • The batch compiler and linker
  • A simple module system
  • What is new in release 1.44
• Core language and libraries
  • The Standard ML Basis Library
• The interactive system
  • On-line help
  • Editing and running ML programs
  • Command-line options
  • Non-standard primitives in the interactive system
• Modules and compilation units
  • Basic concepts
  • Units without explicit signature
  • Units with explicit signature
  • Syntax of unit signatures
  • Syntax of unit bodies
  • An example program consisting of three units
  • Compiling, linking, and loading units
  • Organizing programs for compatibility with SML Modules
  • Matching a unit body against a signature
• The batch compiler
  • Overview
  • Command-line options
• Recompilation management
  • Using `make' to manage recompilation
  • An example Makefile for Unix
  • An example Makefile for MS DOS
  • Unit names and DOS file names
• Value polymorphism
• Weak pointers
• Dynamic linking of foreign functions
• Using GNU gdbm persistent hash tables
• Using POSIX regular expressions
• Using the PostgreSQL relational database server
• Using the MySQL relational database server
• Using the GIF image library
• Using the Socket interface
• Quotations and antiquotations
• A lexer generator
  • Overview
  • Hints on using mosmllex
  • Syntax of lexer definitions
    • Header
    • Entry points
    • Regular expressions
    • Actions
    • Character constants
    • String constants
• A parser generator
  • Overview
  • The format of grammar definitions
    • Header and trailer
    • Declarations
    • The format of grammar rules
  • Command-line options of mosmlyac
  • Reporting lexer and parser errors
• Copyright and credits
• How to get Moscow ML
• Books and other materials on Standard ML
• References