[Aldor-l] exports and constants

[Gabriel Dos Reis]

"Bill Page" <bill.page1 at synthesis.anikast.ca> writes:

[...]

| > Type satisfaction typically acts on the static type of both,  
| > participing entities. (In the example above A's static type 
| > (which is B) has to met by C's static type. Not "dynamic type
| > at all.)
| > 
| > "static type" and "dynamic type" may coincide, but do not have
| > to.
| > 
| 
| Ok. Do you still think that it is appropriate to try to use the
| term "dynamic type" in the discussion of Aldor semantics?

Even in the context of dependent types, the phrase "dynamic type"
makes sense, just as static type does.

-- Gaby