[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types
From: |
Martin Rubey |
Subject: |
Re: [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types |
Date: |
Fri, 7 Jan 2005 19:59:40 +0100 |
Dear Marcus, Stephen,
thanks for your code!
Stephen Wilson writes:
> btw, I dont feel this is a weakness in axioms static typing (its not
> really static since we can produce new types at runtime). In my mind,
> it is more a weakness w.r.t axioms ability express dependent
> signatures. If we could write things like:
>
> SAE ==> SimpleAlgebraicExtension
>
> f: (ULS, eq: SUP) -> SAE(K, SUP K, eq)
Well, that's exactly what I meant with "static typing". I have to go and look
what Aldor does with respect to this...
Martin
[Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Marcus Better, 2005/01/10
- Message not available
- Message not available
- Message not available
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Martin Rubey, 2005/01/10
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Marcus Better, 2005/01/10
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Martin Rubey, 2005/01/12
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Marcus Better, 2005/01/12
- [Axiom-math] Re: [Axiom-mail] Dynamically constructed return types, Martin Rubey, 2005/01/13