Report on the Moby Programming Language
(Version 0.9.18)

The Moby Project
moby.cs.uchicago.edu

Last revised: June 7, 2003

• Table of Contents

Part I
Moby Overview

• A tutorial introduction
  • Getting started
  • Values and expressions
• Functional programming in Moby
  • Basic values and expressions
  • Modules
  • Functions
  • Exceptions
  • Data constructors and pattern matching
  • Concrete types
• Object-oriented programming in Moby
  • Objects
  • Classes
  • Object construction and invariants
  • typeof
  • Class interfaces
  • Class types
  • Using tagtypes to implement checked down-casts
  • Programming with classes and modules

Part II
Moby Reference

• Introduction
  • Program structure
  • Notation
• Lexical structure
  • White space
  • Comments
  • Identifiers
  • Operators
  • Separators
  • Literals
• Evaluation
  • Tuples
  • Imperative features
  • Exceptions
  • Threads
  • Synchronization
• Signatures and modules
  • Signatures
  • Specifications
  • Modules
  • Parameterized modules
  • Declarations
  • Signature Matching
• Type declarations
  • Type name declarations
  • Object type declarations
  • Datatype declarations
  • Enumeration type declarations
  • Tagtype declarations
• Classes
  • Class declarations
  • Member declarations
  • Initially clauses
  • Inheritance
• Types, type equality, and subtyping
  • Type schemes
  • Types
  • Type equality
  • Subtyping
• Expressions
  • Blocks
  • If-then-else expressions
  • TryExpressions
  • Raise expressions
  • Spawn expressions
  • Sync expressions
  • Binary expression
  • Prefix expressions
  • Application expressions
  • Postfix expressions
  • Atomic expressions
• Match cases and patterns
  • Match cases
  • Patterns
  • Pattern matching semantics
  • Pattern expressions
• References

Part III
Appendices

• Collected Moby syntax
  • Identifiers
  • Collected syntax
• The Moby Basis
  • Pervasives
  • Standard modules

This document was translated from L^AT_EX by H^EV^EA and H^AC^HA.