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

[Gabriel Dos Reis]

Gabriel Dos Reis <gdr at integrable-solutions.net> writes:

| 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.

It has been pointed to me that the last sentence could be read as
insulting.  It was not meant that way.  My apologies to Christian if
he feels insulted.

-- Gaby