Re: [Boost-users] question about fusion concepts/documentation

Subject: Re: [Boost-users] question about fusion concepts/documentation
From: Gordon Woodhull (gordon_at_[hidden])
Date: 2011-05-30 19:03:07

On May 30, 2011, at 6:26 PM, Gordon Woodhull wrote:
> So, I think this requires carrying concepts as metadata in the edges of a compile-time graph specified by the Metagraph user, and then traversing both the abstract and the concrete graphs validating the types against the concepts they are supposed to implement.

Gladly, the concepts don't need to be defined within the graph or generated from the graph (! generative concepts would get very confusing!), I just need to define them elsewhere and then refer to them within the graph.  And I'm not sure how this would work, referring to a concept and embedding it as metadata without yet knowing what types it will apply to.  

Maybe it will in fact be easier with your simulation than with actual concepts, because we know how to carry metafunctions around.  But I'm also curious to know whether it works with real concepts.