Next:
Getting started
Up:
Moscow ML Owner's Manual
Previous:
Moscow ML Owner's Manual
Contents
Getting started
Installation
The interactive system
The batch compiler and linker
A simple module system
What is new in release 1.42
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
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
Syntax of grammar definitions
Header and trailer
Declarations
Rules
Command-line options
Reporting lexer and parser errors
Copyright and credits
How to get Moscow ML version 1.42
Books and other materials on Standard ML
References
Moscow ML 1.42