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.