Summary
This chapter introduced the interface between the Objective CAML language
and the C language. This interface allows C functions to operate on
Objective CAML values. Using abstract Objective CAML types, the converse is also
possible. An important feature of this interface is the ability to use the
Objective CAML garbage collector to perform automatic reclamation of values
created in C. This interface supports the combination, in the same
program, of components developed in the two languages. Finally, Objective CAML
exceptions can be raised and (with some limitations) handled from C.