[comp.lang.eiffel] class STORABLE, violation of software reusabilty principle

gjc@batserver.cs.uq.oz (Cumming) (08/16/89)

In class STORABLE It appears necessary to use

	object := object_of_same_class.retrieve("filename");

instead of

	object.retrieve("filename");

Surely the compiler could infer the type of object_of_same_class from the
class of object, hence the requirement to use the first construct is a
violation of the principle of software re-usability.

Excuse me if this is an ignorant question. New to OOPS and Eiffel.