|Objective Caml 1.00 Xavier.Leroy@inria.fr (1996-05-13)|
|From:||Xavier.Leroy@inria.fr (Xavier Leroy)|
|Date:||13 May 1996 13:59:44 -0400|
|Organization:||INRIA Rocquencourt, projet Cristal|
|Keywords:||OOP, ML, available|
We are proud to announce the availability of Objective Caml version 1.00.
Objective Caml is an object-oriented extension of the Caml dialect of
ML. It is statically type-checked (no "message not understood"
run-time errors) and performs ML-style type reconstruction (no type
declarations for function parameters). This is arguably the first
publically available object-oriented language featuring ML-style type
Objective Caml is a class-based OO language, and offers pretty much
all standard features of these languages, including "self", single and
multiple inheritance, "super", and binary methods, plus a number of
less common features such as parametric classes.
The main limitation (due to type reconstruction) is that coercion from
an object type to a supertype is not automatic, and needs to be
written down explicitly. Message sending remains fully polymorphic,
Objective Caml is based on (and supersedes) the Caml Special Light
system. It inherits from Caml Special Light a powerful module
calculus, Modula-style separate compilation, a fast-turnaround
bytecode compiler, and a high-performance native-code compiler.
Upward compatilibity with Caml Special Light is very high.
More information on Objective Caml, including tutorials and user's
manuals, is available on the Web, at
Objective Caml is available for Unix (source) and Windows NT/95 (binaries).
The distribution resides at the usual place,
Bug reports should be mailed to email@example.com. More
general discussions on Objective Caml take place on the Caml mailing
list (firstname.lastname@example.org, subscriptions at
email@example.com) or the comp.lang.ml newsgroup.
- Xavier Leroy
INRIA Rocquencourt, projet Cristal, B.P.105, 78153 Le Chesnay, France.
Return to the
Search the comp.compilers archives again.