OCaml 3.12.0

Operating systemsOS : Windows / Linux / Mac OS / BSD / Solaris
Program licensingScript Licensing : Other Free / Open Source License - The Q Public License
CreatedCreated : Aug 2, 2010
Size downloadDownloads : 3
Program licensing
Thank you for voting...

It is an implementation of the ML language, based on ...

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 compiler. 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 number
of 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 (ocaml by INRIAopt) for 9 processor architectures (IA32, PowerPC, AMD64, Alpha, Sparc, Mips, IA64, HPPA, StrongArm), as well as a bytecode compiler (OCaml 3.12.0c) and an interactive read-eval-print oop (OCaml 3.12.0) for quick development and portability.
The Objective Caml distribution includes a comprehensive standard library, a replay debugger (OCaml [ocaml3.12.0.exe]debug), lexer (OCaml - 0MBlex) and parser (OCaml - 0MByacc) generators, a pre-processor pretty-printer (camlp4) and a documentation generator (OCaml 3.12.0doc).
Demands:
• GNU C compiler - gcc
News in the current OCaml version:
• Record patterns of the form { lbl = pat; _ } to mark that not all labels are listed, purposefully.
• Warnings are now numbered and can be switched on and off individually. The old system with letters referring to sets of warnings is still supported.
• Added option '-strict-sequence' to force left hand part of sequence to have type unit.
• Map: implement functions from Set that make sense for Map.
• Add support for native dynlink.
• The semantics of warning 7 (code 'M', method override) have changed (it now detects all overrides, not just repeated definitions inside the same class body), and it is now inactive by default.

OCaml 3.12.0 scripting tags: programming, development tool, compiler, system, programming language, oop, object-oriented layer, caml, generates, ocaml, code. What is new in OCaml 3.12.0 software script? - Unable to find OCaml 3.12.0 news. What is improvements are expecting? Newly-made OCaml 3.13 will be downloaded from here. You may download directly. Please write the reviews of the OCaml. License limitations are unspecified.