Re: [Axiom-developer] Dimensions as types...

[Gabriel Dos Reis]

Ralf Hemmecke <address@hidden> writes:

| Hi Cliff,
| 
| I'll copy that to axiom-developer, because it might start another
| discussion about dimensions in Axiom.
| 
| > So what we need, in effect, is types that have types.
| 
| You have NOTHING in Aldor that has no type.

Indeed.  

At the logical level, as I have observed some time ago, there is an
inconsistency problem with Type:Type.  I'm wondering how Aldor gets
away with that.  Many languages (mostly functional) use stratified
types. 

-- Gaby