> I realize that CAML already contains facilities for creating new
> primitives in C, but the main difference is that in a caml program,
> the main program is the interpreter for the caml virtual machine, whereas
> in an extension language control resides in the application.

Actually, it is possible to have the main program written in C and
calling Caml functions when needed. Release 1.03 contains very
preliminary support for this; the forthcoming release 1.04 provides
better support and documentation for this feature.

- Xavier Leroy