(Sorry for the top post.) Domains do behave like an inheritance hierarchy with one caveat: default_domain is special. Expressions in the default_domain, or sub-domains thereof, can interoperate with expressions in other domains. So, imagine c++ inheritance where you can opt-in to inheritance from Object, but even if you don't, things that do can still play with objects in your hierarchy.
There isn't a clean analogy here. I wonder if the behavior of domains should change to make the analogy cleaner; every domain could be a sub-domain of default_domain. So everything can be combined with everything else. Very loose. Maybe too loose, I don't know. But it would be easier to explain. Eric Sent via tiny mobile device -----Original Message----- From: Fernando Pelliccioni <fpellicci...@gmail.com> Sender: proto-boun...@lists.boost.org Date: Wed, 11 Jan 2012 09:02:52 To: Discussions about Boost.Proto and DSEL design<proto@lists.boost.org> Reply-To: "Discussions about Boost.Proto and DSEL design" <proto@lists.boost.org> Subject: Re: [proto] user docs for advanced features _______________________________________________ proto mailing list proto@lists.boost.org http://lists.boost.org/mailman/listinfo.cgi/proto _______________________________________________ proto mailing list proto@lists.boost.org http://lists.boost.org/mailman/listinfo.cgi/proto