Summary
This chapter has demonstrated the main features of
functional programming and parametric polymorphism, which are two essential
features of the Objective CAML language. The syntax of the expressions in
the functional core of the language as well as those of the types which have
been described allowed us to develop our first programs. Moreover, the
profound difference between the type of a function and its domain of
definition was underlined. Introducing the exception mechanism
allowed us to resolve this problem and already introduces a new programming
style in which one specifies how computations should unfold.