Directory of Objective Caml Resources

Home > Computers > Programming > Languages > ML > Objective Caml

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]

Subcategories

• Caml
• NET

Resources in This Category

• Camomile

  http://camomile.sourceforge.net/
  Full Unicode Standard 3.2 library for OCaml. English, Japanese. [Open Source, LGPL]

• CocOCaml

  http://www.cs.unm.edu/~wneumann/cococaml/
  A Cocoa based wrapper for the OCaml toplevel environment. It was written to solve a number of the problems one usually runs into while running the toplevel under OS X's terminal.

• Developing Applications with Objective Caml

  http://caml.inria.fr/pub/docs/oreilly-book/
  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.

• G'Caml

  http://www.yl.is.s.u-tokyo.ac.jp/~furuse/gcaml/
  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.

• LablGTK

  http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html
  OCaml Gtk+ interface.

• O'Jacare

  http://www.pps.jussieu.fr/~henry/ojacare/index.en.html
  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.

• Objective Label

  http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/
  Extension of OCaml with labeled and optional parameters, and polymorphic variants and methods.

• OCaml Advocacy

  http://www.rouquier.org/jb/programmation/ocaml-pub.php
  Lists many advantages, some shortcomings.

• OCaml for Scientists

  http://www.ffconsultancy.com/products/ocaml_for_scientists/
  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.

• omlet.vim

  http://www.vim.org/scripts/script.php?script_id=1196
  VIM syntax file for OCaml.

• Programming with Objective Caml

  http://www.ocaml-programming.de/
  Home of GODI advanced programming environment for OCaml; news, projects with downloads, links, source tree.

• Pycaml

  http://pycaml.sourceforge.net/
  Lets users build native OCaml libraries and use them from Python and conversely.

• Real World OCaml

  https://realworldocaml.org/
  A book covering OCaml programming for beginners or to improve skill. Covers JaneStreet Core library too.

• The Caml Language

  http://caml.inria.fr/
  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.

• The JoCaml System

  http://moscova.inria.fr/jocaml/
  Experimental OCaml extension, distributed join-calculus programming model; high-level communication and synchronizing channels, mobile agents, failure detection, garbage collected. Descriptions, documents, downloads.

• Yahoo Groups: OCaml beginners

  http://tech.groups.yahoo.com/group/ocaml_beginners/
  Email forum for mutual aid of those who know they're not OCaml gurus yet.

Related Categories

• Home > Computers > Programming > Languages > Comparison and Review
• Home > Computers > Programming > Languages > Compiled > Multiparadigm
• Home > Computers > Programming > Languages > Functional
• Home > Computers > Programming > Languages > Garbage Collected > Object-Oriented
• Home > Computers > Programming > Languages > Interpreted > Bytecode
• Home > Computers > Programming > Languages > Multiparadigm
• Home > Computers > Programming > Languages > Object-Oriented > Class-based
• Home > Computers > Programming > Languages > Open Source
• Home > Computers > Programming > Languages > Procedural

Other Languages

• Japanese

 

Home > Computers > Programming > Languages > ML > Objective Caml

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us