🚀 go-pugleaf

>Fully agreed, but this information can be easily deduced by a 'system
>builder', i.e. an intelligent linker, like Eiffel has (for more or less
>this reason). A system builder can create a complete list of all the
>types in an application (unless they can be defined at run time), and
>can do such overload resolution at system building time, statically. I
>think a 'system building' tool is something that is quite useful in
>general, especially if it can be used more or less incrementally.

Such a system builder is only useful in non-OO operating systems or
environments:

In such OO-environments (like Smalltalk), each class is shared among all
applications (and even used by the system itself) which means that you
can't adapt a class to a particular situation as it is dynamically used
and loaded. On the other side, this permits to diminish drastically
memory consumption (just think of the standard C libraries)

Cheers, Stefan Monnier



-----------------------------------------------------
-- On the average, people seem to be acting normal --
-----------------------------------------------------