[Aldor-l] Should this "parser" work?

[Gabriel Dos Reis]

"Christian Aistleitner" <tmgisi at gmx.at> writes:

| Hello,
| 
| On Mon, 23 Oct 2006 09:39:00 +0200, Martin Rubey  
| <martin.rubey at univie.ac.at> wrote:
| 
| >> First of all, what do you mean by “instance of Atom”. Atom is a  
| >> domain.  For
| >> the domain MachineInteger, 34 is an instance, just as 35 or 36 are.   
| >> But for
| >> Atom?
| >
| > I'd think that domains are instantiated, since it may happen that they  
| > contain some local data. But that's a very vague idea.
| 
| still I do not understand, what you mean by “instantiated”.
| My interpetation of “instantiate” merely coincides with that of
| http://en.wikipedia.org/wiki/Object_(computer_science)#Objects_in_object-oriented_programming
| 
| I know that Aldor is not an OO language. But the differences are not  
| important for the meaning of “insntantiate”.

My understanding of it, from working on  programming language that
supports both OO and parameterized type is that when you have a
parameterized domain definition c


   Domain(t : Type) == ...

calling Domain with argument, say, Integer, is an instantiation of the 
Domain with type Integer.


>From compiler middle-ends point of view, creating an activation record
for a function call is "instantiating" the function "template.

Both views are consistent as far Aldor goes.

-- Gaby