Table of Contents:-

1 Introduction

2 Simple Expressions

3 Variables and Functions

5 Tuples, Lists, and Polymorphism

6 Unions

7 Reference cells, Side-E®ects, and Loops

8 Exceptions

9 Input and Output

10 Files, Compilation Units, and Programs

11 The OCaml Module System

12 Functors

13 The OCaml Object System

14 Inheritance

GODI is a programming environment for the computer language Objective Caml (O'Caml), a result of the research activities of the Cristal project at the INRIA institute in France.

From INRIA you can get the O'Caml compiler and runtime system, but this is usually not enough to develop applications. You also need libraries, and fortunately there are many developers all over the world providing them; you can go and pick them up. But it is a lot of work to build and install each of them.

*  1) Introduction

I) Functional programming

* 2) Functional languages
o 2.1) History of functional languages
o 2.2) The ML family
o 2.3) The Miranda family
* 3) Basic concepts
o 3.1) Toplevel loop
o 3.2) Evaluation: from expressions to values
o 3.3) Types
o 3.4) Functions
o 3.5) Definitions
o 3.6) Partial applications
* 4) Basic types
o 4.1) Numbers
o 4.2) Boolean values
o 4.3) Strings and characters
o 4.4) Tuples
o 4.5) Patterns and pattern-matching

The desire to write a book on Objective CAML sprang from the authors' pedagogical experience in teaching programming concepts through the Objective CAML language. The students in various majors and the engineers in continuing education at Pierre and Marie Curie University have, through their dynamism and their critiques, caused our presentation of the Objective CAML language to evolve greatly. Several examples in this book are directly inspired by their projects.

*  General
* Identifiers
* Types
* Built-In Functions
o Standard bool operators
o Standard arithmetic operators on integers
o Standard arithmetic operators on reals
o Coercions
o Comparisons
o Operations with strings
o Operations on characters
o Operations on lists
o Operations on tuples
o Functions with side effects
* Expressions (but not statements)
o Match expressions
o If expressions
o Sequence of expressions
o Exceptions
* Functions
o Patterns in functions