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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk