[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Dimensions as types...
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Dimensions as types... |
Date: |
29 Aug 2006 05:02:53 -0500 |
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
[Axiom-developer] Re: Dimensions as types..., C Y, 2006/08/29
Re: [Axiom-developer] Re: Dimensions as types..., Martin Rubey, 2006/08/29