1997-01-03 12:25:47 +01:00
|
|
|
Objective Caml is an implementation of the ML language, based on
|
|
|
|
|
the Caml Light dialect extended with a complete class-based object system
|
|
|
|
|
and a powerful module system in the style of Standard ML.
|
|
|
|
|
|
|
|
|
|
Objective Caml comprises two compilers. One generates bytecode
|
|
|
|
|
which is then interpreted by a C program. This compiler runs quickly,
|
|
|
|
|
generates compact code with moderate memory requirements, and is
|
|
|
|
|
portable to essentially any 32 or 64 bit Unix platform. Performance of
|
|
|
|
|
generated programs is quite good for a bytecoded implementation:
|
|
|
|
|
almost twice as fast as Caml Light 0.7. This compiler can be used
|
|
|
|
|
either as a standalone, batch-oriented compiler that produces
|
|
|
|
|
standalone programs, or as an interactive, toplevel-based system.
|
|
|
|
|
|
|
|
|
|
The other compiler generates high-performance native code for a number
|
|
|
|
|
of processors. Compilation takes longer and generates bigger code, but
|
2004-02-27 08:26:15 +01:00
|
|
|
the generated programs deliver excellent performance, while retaining
|
|
|
|
|
the moderate memory requirements of the bytecode compiler.
|
1999-03-24 18:52:28 +01:00
|
|
|
|
2019-10-20 11:39:09 +02:00
|
|
|
WWW: https://ocaml.org/
|
