Plan of the Chapter
This chapter continues the presentation of the basic elements of the
Objective CAML language begun in the previous chapter, but this time
focusing on imperative constructions. There are five sections.
The first is the most important; it presents the different modifiable data
structures and describes their memory representation.
The second describes the basic I/O of the language, rather briefly.
The third section is concerned with the new iterative control structures.
The fourth section discusses the impact of imperative features on the
execution of a program, and in particular on the order of evaluation of the
arguments of a function.
The final section returns to the calculator example from the last
chapter, to turn it into a calculator with a memory.