JoCaml
JoCaml is an experimental functional 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 def put(s) = print_endline s ; 0 (* STOP *) def give(d) = match d with def refund(v) = let s = Printf.sprintf "Refund %d" v in put(s) let new_vending give refund = let ccoin, cbutton = new_vending give refund in execution $ jocamlc example.ml -o test $ ./test Coffee Tea Refund 5