Download Source Code OCaml 4.02.3
INRIA is announcing that OCaml with version number 4.02.3 is already available to download.
What is OCaml ?
OCaml is A statically typed, strictly evaluated descendant of ML, offering object-oriented, functional and imperative features .
It 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, is portable to essentially any 32 or 64 bit Unix platform and generates compact code with moderate memory requirements.Performance of generated programs is quite good for a bytecoded implementation.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 numberof processors.Compilation takes longer and generates bigger code, but the generated programs deliver excellent performance, while retaining the moderate memory requirements of the bytecode compiler.Objective Caml is the most popular variant of the Caml language.From a language standpoint, it extends the core Caml language with a fully-fledged object-oriented layer, as well as a powerful module system, all connected by a sound, polymorphic type system featuring type inference.The Objective Caml system is an industrial-strength implementation of this language, featuring a high-performance native-code compiler (ocamlopt) for 9 processor architectures (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPPA, StrongArm), as well as a bytecode compiler (ocamlc) and an interactive read-eval-print loop (ocaml) for quick development and portability. The Objective Caml distribution includes a comprehensive standard library, a replay debugger (ocamldebug), lexer (ocamllex) and parser (ocamlyacc) generators, a pre-processor pretty-printer (camlp4) and a documentation generator (ocamldoc).From here you can download the OCaml core source code. For OS-specific binaries, please use the Softpedia Windows, Linux, and Mac pages.
This is changelog for OCaml version 4.02.3 :
- Updated to Tcl/Tk 8.6.
- Reject multiple declarations of the same method or instance variable in an object.
- Propagate type information towards pattern-matching, even in the presence of polymorphic variants.
You can read the complete changelog and also download this latest version on their homepage: caml.inria.fr