Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Caml supports functional, imperative, and object-oriented programming styles. It has many modern features from state-of-the-art computer science and fast native compilers for many operating systems.
English, Français. [Open Source, INRIA]
More information
More information
Subcategories 2
Related categories 9
Sites 13
This is the official web page of the OCaml development team. Contains the official distribution, the manual, archives of the mailing list, links to tutorials and contributed libraries (in "The Humps"), style guidelines, books about OCaml.
Full Unicode Standard 3.2 library for OCaml. English, Japanese. [Open Source, LGPL]
By Emmanuel Chailloux, Pascal Manoury, Bruno Pagano; O'Reilly, 2005. Book online. Many topics and examples covered. One drawback: based on old OCaml version. HTML, PDF.
O'Caml compiler variant, extends ML polymorphism from parametric to non-parametric (extensional). More complex parametricity gives many features impossible or very hard to achieve otherwise: overloading, e.g., type safe value marshalling, ML value printer.
Experimental OCaml extension, distributed join-calculus programming model; high-level communication and synchronizing channels, mobile agents, failure detection, garbage collected. Descriptions, documents, downloads.
OCaml Gtk+ interface.
Object-oriented interface between OCaml and Java, code generator to aid interoperability via their object models, defines an IDL and allows a safety execution by static typechecking.
Extension of OCaml with labeled and optional parameters, and polymorphic variants and methods.
Lists many advantages, some shortcomings.
This book teaches the fundamentals of programming using OCaml, assuming little prior knowledge of computer programming. Particular emphasis is placed upon programming paradigms rarely seen in current scientific computing, such as exceptions, polymorphism, higher-order functions, nested functions, pattern matching and modules.
VIM syntax file for OCaml.
Lets users build native OCaml libraries and use them from Python and conversely.
A book covering OCaml programming for beginners or to improve skill. Covers JaneStreet Core library too.
This is the official web page of the OCaml development team. Contains the official distribution, the manual, archives of the mailing list, links to tutorials and contributed libraries (in "The Humps"), style guidelines, books about OCaml.
A book covering OCaml programming for beginners or to improve skill. Covers JaneStreet Core library too.
Lists many advantages, some shortcomings.
By Emmanuel Chailloux, Pascal Manoury, Bruno Pagano; O'Reilly, 2005. Book online. Many topics and examples covered. One drawback: based on old OCaml version. HTML, PDF.
Experimental OCaml extension, distributed join-calculus programming model; high-level communication and synchronizing channels, mobile agents, failure detection, garbage collected. Descriptions, documents, downloads.
Lets users build native OCaml libraries and use them from Python and conversely.
This book teaches the fundamentals of programming using OCaml, assuming little prior knowledge of computer programming. Particular emphasis is placed upon programming paradigms rarely seen in current scientific computing, such as exceptions, polymorphism, higher-order functions, nested functions, pattern matching and modules.
Full Unicode Standard 3.2 library for OCaml. English, Japanese. [Open Source, LGPL]
O'Caml compiler variant, extends ML polymorphism from parametric to non-parametric (extensional). More complex parametricity gives many features impossible or very hard to achieve otherwise: overloading, e.g., type safe value marshalling, ML value printer.
OCaml Gtk+ interface.
Extension of OCaml with labeled and optional parameters, and polymorphic variants and methods.
Object-oriented interface between OCaml and Java, code generator to aid interoperability via their object models, defines an IDL and allows a safety execution by static typechecking.
VIM syntax file for OCaml.
Other languages 1
