blob: acdabae43f8a0843f698f3b513554c4543f495d8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
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
the generated programs deliver excellent performance (better than
Standard ML of New Jersey 1.08 on our tests), while retaining the
moderate memory requirements of the bytecode compiler. The native-code
compiler currently runs on the following platforms:
Alpha processors: DecStation 3000 under OSF1
Sparc processors: Sun Sparcstation under SunOS 4.1 or Solaris 2
Intel 386 / 486 / Pentium processors: PCs under Linux, NextStep, FreeBSD,
Windows NT, Windows 95
Mips processors: DecStation 3100 and 5000 under Ultrix 4
HP PA-RISC processors: HP 9000/700 under NextStep (sorry, no HPUX yet)
PowerPC and IBM RS/6000 processors: IBM workstations under AIX 3.2
More information on Objective Caml is available on the World Wide Web:
http://pauillac.inria.fr/ocaml/
|
