On 24/03/06, Paul de Vrieze <[EMAIL PROTECTED]> wrote: > On Thursday 23 March 2006 21:38, Gustavo Sverzut Barbieri wrote: > > Cons: > > - it's not the final solution to the problem, as said, interfaces > > would be better... but interfaces would demand much more effort and > > not being automatically generated, would be async and probably > > incorrect at some point > > Interfaces, while nice, would overcomplicate things. They are also not > needed as we have depend atoms. > > Paul
Interface can be made somewhat automatically checkable. For example: void a(int); void b(int, int); void b(int, char); Is compatible with: void a(int); void b(int, int); And this can be checked automatically - real header must have all headings that interface describes. Microsoft has actually done good work in C# on that topic -- first place where i saw something like that after thinking about it myself :) This MS version is feature of a language, of course, not a feature of compiler. Anyway, that might give an idea. I'm actually sure that this all can be calculated up from sourcecode and bindep would be after that a check if cpu didnt calculate something wrong :P Another question, how difficult it is and is it worth the time. -- tvali Measuring programming progress by lines of code is like measuring aircraft building progress by weight. -Bill Gates For every complex problem there is an answer that is clear, simple, and wrong. -H L Mencken Theory is when you know something, but it doesn't work. Practice is when something works, but you don't know why. Programmers combine theory and practice: Nothing works and they don't know why. http://www.eskimo.com/~hottub/software/programming_quotes.html http://www.softwarequotes.com/ -- gentoo-portage-dev@gentoo.org mailing list
