What's JoCaml?
JoCaml is Objective Caml plus (&) the join calculus, that is, OCaml extended for concurrent and distributed programming.
The new JoCaml is a re-implementation of the now unmaintained JoCaml by Fabrice Le Fessant. With respect to this previous implementation, main changes are:
- Numerous syntax changes, we believe the new syntax to be cleaner.
- Disparition of mobility features, sacrified for the sake of OCaml compatibility.
- Much better compatibility with
Objective Caml.
- Source compatibility is about 99%, there are three new keywords (def, reply and spawn) ; or and & should definitely not be used as boolean operators.
- Binary compatibility for matching versions.
Availability
- We distribute JoCaml as sources. Those sources are for Unix systems, details on portability issues.
- The licensing policy is the same as the one of Objective Caml, details on licensing issues.
Download
-
Direct acces to the latest (4.00.1.A)
source tarball and
matching OCaml source tarball.
- Current version is 4.01.
- Previous versions: 4.00, 3.12, 3.11, 3.10.
Examples
- A tiny ray tracer, README, source, archive. Ray tracer source code is courtesy of Jon Harrop.
- A more serious ray tracer, README, source, archive, ray traced JoCaml logo and a friend. Ray tracer source code is from the team Camls 'R Us.
Documentation
- Online manual.
- PostScript, Pdf and Tar archive of Html files.
- See also related articles.
Contact
- Users mailing list is jocaml-list@inria.fr. Posting is restricted to members, subscription and archives.
- To contact the implementors write at jocaml-devel@inria.fr. This address is the one for bug reports.