[Aldor-l] [Aldor-combinat-devel] parametric types and instantiation

[Gabriel Dos Reis]

Ralf Hemmecke <ralf at hemmecke.de> writes:

[...]

| > In OO, you instantiate Dom.In Aldor, you evaluate Dom.
| 
| But evaluating Dom at 1 and Dom at 2 creates (instantiates) two domains 
| Dom(1) and Dom(2).

Indeed.

Somehow Christian is stuck with the idea that "instantiation" if an OO
only notion; that prevents him from effectively communicate with
the rest.

-- Gaby