JoCaml Released.
[
Home
]
[ Index:
by date

by threads
]
[ Message by date: previous  next ] [ Message in thread: previous  next ] [ Thread: previous  next ]
[ Message by date: previous  next ] [ Message in thread: previous  next ] [ Thread: previous  next ]
Date:   (:) 
From:  Oliver Bandel <oliver@f...> 
Subject:  Re: [Camllist] JoCaml Released. 
On Mon, Jun 04, 2007 at 10:38:54PM +1000, skaller wrote: > On Mon, 20070604 at 08:13 0400, Yaron Minsky wrote: > > A couple of questions: > > * Why is it that JoCaml is a full OCaml distribution as opposed > > to just a set of libraries plus a syntax extension. > > JoCaml implements the join calculus, which subsumes lambda > calculus.. so you have asked the wrong question. [...] Is the join calcuclus a monocontextural calculus (as I assume)? How can the join calculus (and distributed processes) be expressed using Gotthard Guenthers polycontextural logic? Is there any research on this topic? As far as I know only polycontextural logic can express parallel, distributed systems (and selfreference) in a complete/total way. So, when join calculus is monocontextural (which it is, if it uses the math we all have learned) it will be a subsystem of what can be expressed with polycontextural logic. It would be fine to have some explanations here, on what the join calculus is capable of. Ciao, Oliver