[Aldor-l] exports and constants

[Bill Page]

On July 24, 2006 1:09 PM Gaby wrote:
> ...
> Bill Page wrote:
> | 
> | 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.
> 

Could you define for me what you mean by "dynamic type"?
I think the usual definition involves type checking during
run time.

Since Aldor is statically typed how can we define this in a
useful way in Aldor?

Should we say something like this?

 The "dynamic type" of Y is

   Join( x for x in Category where Y has x)

But then dynamic type would be just type satisfaction as I
said earlier, no?

Regards,
Bill Page.