Using, Understanding, and Unraveling
The OCaml Language

From Practice to Theory and vice versa

Copyright © 2000, 2001 by Didier Rémy.

These notes have also been published in Lectures Notes in Computer Science. A preliminary version was written for the Appsem 2000 summer school held in Camina, Portugal on September 2000. The notes are also available in Postscript (in A5 portrait, with two A5 pages on landscape A4, or in A4 portrait), or in PDF format.

Table of contents

To correctly preview mathematical symbols, you may need to adjust your browser configuration.

1

Copyright ©2000, 2001 Didier Rémy

• Abstract
• Road map
• Introduction
• Core ML
• Discovering Core ML
• The syntax of Core ML
• The dynamic semantics of Core ML
• The static semantics of Core ML
• Recursion
• Further reading
• The core of OCaml
• Data types and pattern matching
• Mutable storage and side effects
• Exceptions
• Further reading
• The object layer
• Discovering objects and classes
• Understanding objects and classes
• Advanced uses of objects
• Further reading
• The module language
• Using modules
• Understanding modules
• Advanced uses of modules
• Mixing modules and objects
• Overlapping
• Combining modules and classes
• Further reading
• Further reading
• Beyond ML
• First steps in OCaml
• Variant and labeled arguments
• Variant types
• Labeled arguments
• Optional arguments
• References
• List of all exercises
• Index

Useful pointers

The OCaml home page; the reference manual, the Core and Standard libraries; the tutorials; and the FAQ.

If you need an emacs mode for OCaml, you can use this one.

Here is a generic Makefile for OCaml and a sample use.

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