Author: Christian.Queinnec@lip6.fr

## 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.