JoCaml

JoCaml is an experimental general-purpose, high-level, multi-paradigm, functional and object-oriented programming language derived from OCaml. It integrates the primitives of the join-calculus to enable flexible, type-checked concurrent and distributed programming. The current version of JoCaml is a re-implementation of the now unmaintained JoCaml made by Fabrice Le Fessant, featuring a modified syntax and improved OCaml compatibility compared to the original. JoCaml was used by team Camls 'R Us to implement a distributed ray tracer, earning 2nd place on the ICFP 2000 programming contest. The name is a reference to Joe Camel, a cartoon camel used in advertisements for Camel-brand cigarettes. Example type coins = Nickel | Dime and drinks = Coffee | Tea and buttons = BCoffee | BTea | BCancel;; (* def defines a Join-pattern alternatives set clause * '&' in the left side of '=' means join (channel synchronism) * '&' in the right hand side is parallel processing * synchronous_reply :== "reply" [x] "to" channel_name * synchronous channels have function-like types (`a -> `b) * while asynchronous ones have type `a Join.chan * only the last statement in a pattern rhs expression can be an as