The JOCaml programming language is an extension of the OCaml language with high-level prmitives for communication and synchronization between processes. This enables programmers to rapidly develop distributed large-scale applications using the expressivity of OCaml.