Re: [boost] Re: Boost.Threads - name of the "thread" type

From: Greg Colvin (gcolvin_at_[hidden])
Date: 2001-06-25 20:02:18

From: John Max Skaller <skaller_at_[hidden]>
> Greg Colvin wrote:
> 
> > > > We can do much more than this, and it is the ultimate goal.
> > >
> > > I agree, but it will never happen in C++. (IMHO)
> > 
> > Do you mean in the C++ standard?
> 
> Not particularly, although that too.
>  
> > Given the primitives, are there any insurmountable obstacles
> > to implementing join calculus in C++?
> 
> Sure. Just consider something more basic first,
> such as the lambda calculus. C++ just doesn't have the
> right constructions. 

My understanding is that it is possible to implement the
lambda calculus as a template metaprogram, which is how
I would expect to see a join calculus done.  It wouldn't
be easy to do, if even possible, but the result might be
reasonably easy to use.