🚀 go-pugleaf

In article <65745UH2@PSUVM>, UH2@PSUVM.BITNET (Lee Sailer) writes:
> (Quotation from previous message having to do with generic parameters)
>
>     I dunno Eiffel, but this looks enough like Simula that I'll give you
> the Simula answer 8-)
> 
>     In your example, the WINDOW class *does* inherit all of the
> attributes of TREE, including T.  When you create a new instance of
> WINDOW you must specify T, as in
> 
>     newW :- NEW WINDOW[T, other formal parameters of WINDOW].


	It may look like Simula but it isn't Simula. T is not an attribute
of TREE (the Eiffel term would be ``feature'') but stands for a type,
to be supplied in a declaration of an entity (variable) of type
TREE [something], e.g. TREE [INTEGER], TREE [WINDOW]. This concept of
generic type parameter to a class has no equivalent in Simula.
Its presence in Eiffel is what makes compile-time type checking possible
(as opposed to the run-time checking required in Simula and most other
O-O languages; the only significant exception I am aware of is Trellis-Owl).

	The class parameters of Simula have a different role: they
represent values to be supplied to an *instance* of the class at *run-time*
(not parameters to declare a variable at compile-time). The equivalent in
Eiffel is provided by arguments to the initialization procedure of the
class (called Create).

Bertrand Meyer
bertrand@eiffel.com