Re: FWD:Re: refactoring

David Abrahams wrote:

>>I'v been working on symbol resolution, but without any type analysis,
>>i.e. there is no overload resolution yet.
>>While I would definitely like to work on all this, I'm not sure
>>how much I can do single-handedly, as I realize just how complicated
>>all this gets. I would certainly appreciate any help on any level.
> 
> 
> This is essentially the problem of building a C++ compiler front-end.

I realize that.

> I know some people who might be very interested in working on such a
> thing with you.

I'm glad to hear that and wonder how we could find to each other <wink/>.

>>In particular, I'm looking for an elegant design that helps to generate
>>a representation for C++'s type system, and which can then be used
>>to obtain information about type relationships...
> 
> 
> It would be wonderful to have such a thing... in C++!  Too many C++
> compilers are written in unexpressive C.

I agree. In particular, I'm constantly reminded of your remark about
the educative value of such a project, as I'm learning a lot about
C++ itself while implementing for example lookup rules.
It's great fun !

Regards,
		Stefan